Advertisement
Guest User

Untitled

a guest
Feb 25th, 2017
64
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.37 KB | None | 0 0
  1. append_path_once() {
  2. [ -d "$1" ] || return 1
  3. case ":$PATH:" in
  4. *":$1:"*) :;; # Do nothing
  5. *) PATH="$PATH:$1";;
  6. esac
  7. }
  8.  
  9. prepend_path_once() {
  10. [ -d "$1" ] || return 1
  11. case ":$PATH:" in
  12. *":$1:"*) :;; # Do nothing
  13. *) PATH="$1:$PATH";;
  14. esac
  15. }
  16.  
  17. prepend_path_once "$HOME/bin"
  18. append_path_once "$HOME/local/bin"
  19.  
  20. export PATH
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement