Merge remote-tracking branch 'origin/master'

sh-demo/rc/baserc.sh

@@ -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() {