void-bash-installer/files/profile/append-path.sh
2021-04-18 14:46:33 +02:00

11 lines
162 B
Bash

appendpath () {
case ":$PATH:" in
*:"$1":*)
;;
*)
PATH="${PATH:+$PATH:}$1"
esac
}
appendpath '${HOME}/local/bin'