`f48d6759e6cc6c9c2514ea379dd4aa9ea9a2a5fe`

Author: Robby Russell <robby@planetargon.com>
Committer: Robby Russell <robby@planetargon.com>
Date: 2013-12-03 07:43 UTC

Message

Merge pull request #1883 from Stibbons/gsemet_push_source_profile_for_upgrade

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

Diff

 1diff --git a/tools/check_for_upgrade.sh b/tools/check_for_upgrade.sh
 2index 581f03a07f3a56a84e55b033e4f86c5d8778c39c..14d294328bd59961657cc9f023711f8f976e7931 100644
 3--- a/tools/check_for_upgrade.sh
 4+++ b/tools/check_for_upgrade.sh
 5@@ -20,6 +20,8 @@ if [[ -z "$epoch_target" ]]; then
 6   epoch_target=13
 7 fi
 8 
 9+[ ~/.profile ] && source ~/.profile
10+
11 if [ -f ~/.zsh-update ]
12 then
13   . ~/.zsh-update