comparison: .lib/bash/path.sh
.lib/bash/path.sh
- changeset 968
- 0db164e368c5
- parent 967
- 9314317ed18f
- child 969
- 28111ba4e573
equal
deleted
inserted
replaced
| 967:9314317ed18f | 968:0db164e368c5 |
|---|---|
| 1 path-append() { | |
| 2 if [ -d "$1" ] && [[ ":$PATH:" != *":$1:"* ]]; then | |
| 3 PATH="${PATH:+"$PATH:"}$1" | |
| 4 return 0 | |
| 5 fi | |
| 6 return 1 | |
| 7 } | |
| 8 | |
| 9 path-prepend() { | |
| 10 if [ -d "$1" ] && [[ ":$PATH:" != *":$1:"* ]]; then | |
| 11 PATH="$1${PATH:+":$PATH"}" | |
| 12 return 0 | |
| 13 fi | |
| 14 return 1 | |
| 15 } |
