X-Git-Url: http://git.iain.cx/?p=profile.git;a=blobdiff_plain;f=.bash_profile;h=5170519b0f37526c3fbdc585ca17afdcde92e096;hp=6648c33be529225cde2934f19500084205c8d32e;hb=2b1bf28a9ce5697d91e668bcb6569ef3202f1b90;hpb=21c43d814bbd270a26d5fda54bca14e5a4848819 diff --git a/.bash_profile b/.bash_profile index 6648c33..5170519 100644 --- a/.bash_profile +++ b/.bash_profile @@ -3,9 +3,10 @@ if [ -t 0 -o "${0:0:1}" = "-" -o "$1" = "force" ]; then if [ -z "$PROFILE_HOME" ]; then # BASH_SOURCE isn't available prior to bash 3. profile_home=${BASH_SOURCE%/*} - [ -n "$profile_home" -a ! "${profile_home:0:1}" = "/" ] && profile_home=$(readlink -f "$profile_home" 2>/dev/null) + [ -n "$profile_home" -a -d "$profile_home" -a ! "${profile_home:0:1}" = "/" ] && profile_home=$(readlink -f "$profile_home" 2>/dev/null) [ "$profile_home" = "$BASH_SOURCE" ] && profile_home=$PWD [ "$profile_home" = "$HOME" ] || PROFILE_HOME=$profile_home + PROFILE_RC="$profile_home/.bash_profile" unset profile_home fi