at 17.09-beta 15 lines 349 B view raw
1diff --git a/config/thisroot.sh b/config/thisroot.sh 2index 85dee20..532cb28 100644 3--- a/config/thisroot.sh 4+++ b/config/thisroot.sh 5@@ -15,8 +15,8 @@ drop_from_path() 6 return 1 7 fi 8 9- p=$1 10- drop=$2 11+ local p=$1 12+ local drop=$2 13 14 newpath=`echo $p | sed -e "s;:${drop}:;:;g" \ 15 -e "s;:${drop};;g" \