@@ -5,6 +5,12 @@ function addToPATH() {
*) PATH="$1:$PATH" ;; # or PATH="$PATH:$1"
esac
}
+function addToPATH2() {
+ case ":$PATH:" in
+ *":$1:"*) : ;; # already there
+ *) PATH="$PATH:$1" ;;
+ esac
+}
# ====== docker
dockerin() {