`3f44f51e9ca1b196e4c3caa439558996abdac273`

Author: Gaetan Semet <gaetan@xeberon.net>
Committer: Gaetan Semet <gaetan@xeberon.net>
Date: 2013-06-11 12:51 UTC

Message

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

Signed-off-by: Gaetan Semet <gaetan@xeberon.net>

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