]> git.wh0rd.org - home.git/blob - .profile.d/.pre.sh
cros-board: update
[home.git] / .profile.d / .pre.sh
1 path_prepend() {
2 local p
3 for p in "$@" ; do
4 if [[ :${PATH}: != *:${p}:* ]] && [[ -d ${p} ]] ; then
5 PATH="${p}:${PATH}"
6 fi
7 done
8 }
9 path_append() {
10 local p
11 for p in "$@" ; do
12 if [[ :${PATH}: != *:${p}:* ]] && [[ -d ${p} ]] ; then
13 PATH+=":${p}"
14 fi
15 done
16 }