# bash functions for manipulating the path

shopt -s extglob

# addpath appends a directory to the path unless it is already there
# eg: addpath ~/bin
addpath(){ 
local a p=":$PATH:"; for a; 
do case "$p" in (*:"${a%/}"?(/):*);; (*) p="$p$a:";; esac; 
done; p="${p#:}"; PATH="${p%:}"; 
}

# delpath deletes a dir from the path
delpath(){ 
local a p=":$PATH:"; for a; 
do a="${a%/}"; p=${p/:"${a}"?(\/):/:}; 
done; p="${p#:}"; PATH="${p%:}"; 
}

#END