source ~/.profile only if it exists

2013-12-03 09:52:51 +01:00
parent 4e34588a5b
commit 858c515df2
1 changed files with 1 additions and 1 deletions
--- a/tools/check_for_upgrade.sh
+++ b/tools/check_for_upgrade.sh
@@ -20,7 +20,7 @@ if [[ -z "$epoch_target" ]]; then
  epoch_target=13
 fi

-[ ~/.profile ] && source ~/.profile
+[ -f ~/.profile ] && source ~/.profile

 if [ -f ~/.zsh-update ]
 then