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

Signed-off-by: Gaetan Semet <gaetan@xeberon.net>
2013-06-11 14:50:32 +02:00 · 2013-06-11 14:50:32 +02:00 · 3f44f51e9c
commit 3f44f51e9c
parent 5d6a06bda6
1 changed files with 2 additions and 0 deletions
--- 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