]> git.wh0rd.org - home.git/blob - .pre.sh
f96e3e90ddcab5ccf763764671d05f83490d0fb0
[home.git] / .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 }