comparison: .lib/bash/path.sh
.lib/bash/path.sh
- changeset 687
- 17d2d3c6042e
- parent 270
- dda2a7f4d485
equal
deleted
inserted
replaced
| 686:99509d1705c9 | 687:17d2d3c6042e |
|---|---|
| 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 } |
