git://git.iain.cx/iain
/
profile.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix short path in prompt.
[profile.git]
/
.bash_profile
diff --git
a/.bash_profile
b/.bash_profile
index
6648c33
..
5170519
100644
(file)
--- 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%/*}
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_home" = "$BASH_SOURCE" ] && profile_home=$PWD
[ "$profile_home" = "$HOME" ] || PROFILE_HOME=$profile_home
+ PROFILE_RC="$profile_home/.bash_profile"
unset profile_home
fi
unset profile_home
fi