Move path_remove fn into dotfiles script.

Author: cowboy

bin/dotfiles

@@ -50,6 +50,17 @@ function get_os() {
   done
 }
 
+# Remove an entry from $PATH
+# Based on http://stackoverflow.com/a/2108540/142339
+function path_remove() {
+  local arg path
+  path=":$PATH:"
+  for arg in "$@"; do path="${path//:$arg:/:}"; done
+  path="${path%:}"
+  path="${path#:}"
+  echo "$path"
+}
+
 # Display a fancy multi-select menu.
 # Inspired by http://serverfault.com/a/298312
 function prompt_menu() {

source/10_misc.sh

@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 source ~/.dotfiles/source/00_dotfiles.sh
-source ~/.dotfiles/source/10_misc.sh
 
 e_header "$(basename "$0" .sh)"