Files
boxtools/to_system/home/l_samenv/.bash_profile

13 lines
234 B
Bash

# helper for adding to PATH without duplicates
pathadd() {
if [ -d "$1" ] && [[ ":$PATH:" != *":$1:"* ]]; then
PATH="${PATH:+"$PATH:"}$1"
fi
}
pathadd ~/bin
pathadd ~/.local/bin
pathadd ~/frappy/bin
. ~/.bash_samenv