From 8a4159c130e8490b9cc3f9da8486b3398e5b772b Mon Sep 17 00:00:00 2001 From: short <> Date: Wed, 26 Sep 2001 14:42:43 +0000 Subject: [PATCH] we want to override any original directories, place local dirs first! --- .bash_profile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.bash_profile b/.bash_profile index 4f2ade9..63eb16d 100644 --- 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" } -- 1.8.3.1