diff options
| author | Gaetan Semet <gaetan@xeberon.net> | 2013-06-11 14:50:32 +0200 |
|---|---|---|
| committer | Gaetan Semet <gaetan@xeberon.net> | 2013-06-11 14:51:26 +0200 |
| commit | 3f44f51e9ca1b196e4c3caa439558996abdac273 (patch) | |
| tree | 17e622a6f28f3f08211daeb14b3a8d6b036a7bb9 | |
| parent | 5d6a06bda64c59f94a9e7ef506d4523194a031b6 (diff) | |
| download | zsh-3f44f51e9ca1b196e4c3caa439558996abdac273.tar.gz zsh-3f44f51e9ca1b196e4c3caa439558996abdac273.tar.bz2 zsh-3f44f51e9ca1b196e4c3caa439558996abdac273.zip | |
source ~/.profile for upgrading (to source the proxy configuration)
Signed-off-by: Gaetan Semet <gaetan@xeberon.net>
| -rw-r--r-- | tools/check_for_upgrade.sh | 2 |
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 |