From: tfheen <tfheen@8da78d58-1cd3-0310-bee5-d77bd1b3e8bf>
Date: Sat, 18 Oct 2003 14:45:31 +0000 (+0000)
Subject: fix setpathifdir and appendpathifdir
X-Git-Url: https://err.no/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9e869508c1e4d21731a8729d92012038a9f80d68;p=dotfiles

fix setpathifdir and appendpathifdir


git-svn-id: file:///svn/tfheen/trunk/dotfiles@198 8da78d58-1cd3-0310-bee5-d77bd1b3e8bf
---

diff --git a/environment b/environment
index c97490c..eaeeb32 100644
--- a/environment
+++ b/environment
@@ -19,13 +19,15 @@ is_debian () {
 
 setpathifdir () {
     if [ -d "$1" ]; then
-        PATH="$1:${PATH%$1}"
+        local NP=$(echo "$PATH" | sed -e "s,:*$1:,:,g")
+        PATH="$1:$NP"
     fi
 }
 
 appendpathifdir () {
     if [ -d "$1" ]; then
-        PATH="${PATH%$1}:$1"
+        local NP=$(echo "$PATH" | sed -e "s,:*$1:,:,g")
+        PATH="$NP:$1"
     fi
 }