`6fa64b7199ca79d85e8bfb5367d74d41c8a4e200`

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

Message

Merge pull request #2296 from pstadler/master

check_for_upgrade.sh: source ~/.profile only if it exists

Diff

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