git://git.jankratochvil.net
/
nethome.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
eff02e0
)
we want to override any original directories, place local dirs first!
author
short
<>
Wed, 26 Sep 2001 14:42:43 +0000
(14:42 +0000)
committer
short
<>
Wed, 26 Sep 2001 14:42:43 +0000
(14:42 +0000)
.bash_profile
patch
|
blob
|
history
diff --git
a/.bash_profile
b/.bash_profile
index
4f2ade9
..
63eb16d
100644
(file)
--- a/
.bash_profile
+++ b/
.bash_profile
@@
-4,7
+4,8
@@
function _bash_profile_addpath # variable,dirpathname
if [ -z "`eval "echo \\${$1}"`" ];then
eval "$1='$2'"
else
- eval "$1=\"\${$1}:$2\""
+ # we want to override any original directories, place dirpathname first!
+ eval "$1=\"$2:\${$1}\""
fi
export "$1"
}