Merge pull request #1883 from Stibbons/gsemet_push_source_profile_for_upgrade · f48d6759e6 - HonorLee Personal Git Server

Merge pull request #1883 from Stibbons/gsemet_push_source_profile_for_upgrade

source ~/.profile for upgrading (to source the proxy configuration)

Robby Russell 11 years ago

parent

bc79f61901 3f44f51e9c

commit

f48d6759e6

1 changed files with 2 additions and 0 deletions

Split View Show Diff Stats

						
							+ 2
							
							- 0
						
tools/check_for_upgrade.sh
							 
								View File
							
				@@ -20,6 +20,8 @@ if [[ -z "$epoch_target" ]]; then
			
				   epoch_target=13
			
				 fi
			
				+[ ~/.profile ] && source ~/.profile
			
				+
			
				 if [ -f ~/.zsh-update ]
			
				 then
			
				   . ~/.zsh-update