more profile updates

[home.git] / .profile.d / .pre.sh

diff --git a/.profile.d/.pre.sh b/.profile.d/.pre.sh
new file mode 100644 (file)
index 0000000..f96e3e9
--- /dev/null
+++ b/.profile.d/.pre.sh
@@ -0,0 +1,16 @@
+path_prepend() {
+       local p
+       for p in "$@" ; do
+               if [[ :${PATH}: != *:${p}:* ]] && [[ -d ${p} ]] ; then
+                       PATH="${p}:${PATH}"
+               fi
+       done
+}
+path_append() {
+       local p
+       for p in "$@" ; do
+               if [[ :${PATH}: != *:${p}:* ]] && [[ -d ${p} ]] ; then
+                       PATH+=":${p}"
+               fi
+       done
+}