| 
									
										
										
										
											2020-06-21 00:11:43 +01:00
										 |  |  | # Enable extended globbing for use in _load_settings() | 
					
						
							|  |  |  | setopt extendedglob | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-02-25 21:52:57 +00:00
										 |  |  | # extra files in ~/.zsh/configs/pre , ~/.zsh/configs , and ~/.zsh/configs/post | 
					
						
							|  |  |  | # these are loaded first, second, and third, respectively. | 
					
						
							|  |  |  | _load_settings() { | 
					
						
							|  |  |  |   _dir="$1" | 
					
						
							|  |  |  |   if [ -d "$_dir" ]; then | 
					
						
							|  |  |  |     if [ -d "$_dir/pre" ]; then | 
					
						
							|  |  |  |       for config in "$_dir"/pre/**/*~*.zwc(N-.); do | 
					
						
							|  |  |  |         . $config | 
					
						
							|  |  |  |       done | 
					
						
							|  |  |  |     fi | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     for config in "$_dir"/**/*(N-.); do | 
					
						
							|  |  |  |       case "$config" in | 
					
						
							|  |  |  |         "$_dir"/(pre|post)/*|*.zwc) | 
					
						
							|  |  |  |           : | 
					
						
							|  |  |  |           ;; | 
					
						
							|  |  |  |         *) | 
					
						
							|  |  |  |           . $config | 
					
						
							|  |  |  |           ;; | 
					
						
							|  |  |  |       esac | 
					
						
							|  |  |  |     done | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     if [ -d "$_dir/post" ]; then | 
					
						
							|  |  |  |       for config in "$_dir"/post/**/*~*.zwc(N-.); do | 
					
						
							|  |  |  |         . $config | 
					
						
							|  |  |  |       done | 
					
						
							|  |  |  |     fi | 
					
						
							|  |  |  |   fi | 
					
						
							|  |  |  | } | 
					
						
							| 
									
										
										
										
											2020-01-15 08:25:21 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-05-13 00:58:34 +01:00
										 |  |  | _load_settings "$HOME/.zsh/configs" | 
					
						
							| 
									
										
										
										
											2020-01-21 07:21:30 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-10-06 01:36:38 +01:00
										 |  |  | # Local config | 
					
						
							|  |  |  | [[ -f ~/.zshrc.local ]] && source ~/.zshrc.local |