.lib/sh/path.bash@23229c179f82
.lib/sh/path.bash
Sun, 05 Mar 2023 20:36:54 -0500
- author
- Meredith Howard <mhoward@roomag.org>
- date
- Sun, 05 Mar 2023 20:36:54 -0500
- changeset 1065
- 23229c179f82
- parent 968
-
0db164e368c5
- permissions
- -rw-r--r--
I can just repeat
path-append() {
if [ -d "$1" ] && [[ ":$PATH:" != *":$1:"* ]]; then
PATH="${PATH:+"$PATH:"}$1"
return 0
fi
return 1
}
path-prepend() {
if [ -d "$1" ] && [[ ":$PATH:" != *":$1:"* ]]; then
PATH="$1${PATH:+":$PATH"}"
return 0
fi
return 1
}