summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobby Russell <robby@planetargon.com>2013-12-02 23:43:43 -0800
committerRobby Russell <robby@planetargon.com>2013-12-02 23:43:43 -0800
commitf48d6759e6cc6c9c2514ea379dd4aa9ea9a2a5fe (patch)
tree2795e7786751e857d724cecf6fb1f81bcbbfff19
parentbc79f61901c6cd2be5b0dbbe55c258a2b0e1f425 (diff)
parent3f44f51e9ca1b196e4c3caa439558996abdac273 (diff)
downloadzsh-f48d6759e6cc6c9c2514ea379dd4aa9ea9a2a5fe.tar.gz
zsh-f48d6759e6cc6c9c2514ea379dd4aa9ea9a2a5fe.tar.bz2
zsh-f48d6759e6cc6c9c2514ea379dd4aa9ea9a2a5fe.zip
Merge pull request #1883 from Stibbons/gsemet_push_source_profile_for_upgrade
source ~/.profile for upgrading (to source the proxy configuration)
-rw-r--r--tools/check_for_upgrade.sh2
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/check_for_upgrade.sh b/tools/check_for_upgrade.sh
index 581f03a07..14d294328 100644
--- a/tools/check_for_upgrade.sh
+++ b/tools/check_for_upgrade.sh
@@ -20,6 +20,8 @@ if [[ -z "$epoch_target" ]]; then
epoch_target=13
fi
+[ ~/.profile ] && source ~/.profile
+
if [ -f ~/.zsh-update ]
then
. ~/.zsh-update