]> err.no Git - dotfiles/commitdiff
remove empty path elements
authortfheen <tfheen@8da78d58-1cd3-0310-bee5-d77bd1b3e8bf>
Fri, 17 Sep 2004 11:34:09 +0000 (11:34 +0000)
committertfheen <tfheen@8da78d58-1cd3-0310-bee5-d77bd1b3e8bf>
Fri, 17 Sep 2004 11:34:09 +0000 (11:34 +0000)
git-svn-id: file:///svn/tfheen/trunk/dotfiles@656 8da78d58-1cd3-0310-bee5-d77bd1b3e8bf

environment

index e9a074ddab2f8f427fba33b81acae4757e062ecb..697b11581b931ba6bb8d4b3ab3e09ce0dd7e7da0 100644 (file)
@@ -70,7 +70,7 @@ is_debian () {
 }
 
 removepathelem () {
-    PATH=$(echo "$PATH" | sed -e "s,:*$1:,:,g")
+    PATH=$(echo "$PATH" | sed -e "s,:*$1:,:,g" -e "s,::,:,g")
 }
 
 setpathifdir () {