# no bashisms so it can be used in debian profile run by dash
# --start adds to start of path, which will give it highest priority
# --ifexists will add to path only if the directory exists
-path-add() {
+path_add() {
local found x y z
- local ifexists=false
- local start=false
+ local ifexists start
+ ifexists=false
+ start=false
while [ "$1" = --* ]; do
if [ "$1" = --start ]; then
start=true
done
unset IFS
if ! $found; then
- if [ $ifexists = false ] || [ -d $x ]; then
+ if ! $ifexists || [ -d $x ]; then
if $start; then
PATH="$x:$PATH"
else