ec41e06acb8f21ac4f05a5297765df6bcdc7d7dc
2 # no bashisms so it can be used in debian profile run by dash
3 # --start adds to start of path, which will give it highest priority
4 # --ifexists will add to path only if the directory exists
9 while [ "$1" = --* ]; do
10 if [ "$1" = --start ]; then
12 elif [ "$1" = --ifexists ]; then
21 [ "$x" = "$y" ] && found
=true
25 if [ $ifexists = false
] ||
[ -d $x ]; then