annotate .zsh/00.path_manipulation.zsh @ 10:b4bfce76123f
Reorder these checks. With my home being in hg, it was winning over any other
checkouts. Now look for hg last.
| author |
Augie Fackler <durin42@gmail.com> |
| date |
Tue, 02 Dec 2008 19:53:38 -0600 |
| parents |
c30d68fbd368 |
| children |
cb2b2943221d |
| rev |
line source |
|
0
|
1 # Functions for manipulating $PATH. Split out so I can use them in .zshenv if I want. |
|
|
2 |
|
|
3 function insert_path_element() { |
|
|
4 if echo "$PATH" | grep "$1:" >> /dev/null; then |
|
|
5 echo $1 already in path |
|
|
6 else |
|
|
7 export PATH="$1:$PATH" |
|
|
8 fi |
|
|
9 } |
|
|
10 |
|
|
11 function remove_path_element() { |
|
|
12 if echo "$PATH" | grep "$1:" >> /dev/null; then |
|
|
13 export PATH="`echo $PATH | sed s%$1:%%`" |
|
|
14 else |
|
|
15 echo $1 not in PATH |
|
|
16 fi |
|
|
17 } |
