|
|
|
|
@ -15,3 +15,18 @@ if [ -n "$BASH_VERSION" ]; then |
|
|
|
|
. "$HOME/.bashrc" |
|
|
|
|
fi |
|
|
|
|
fi |
|
|
|
|
|
|
|
|
|
# set PATH so it includes user's private bin if it exists |
|
|
|
|
if [ -d "$HOME/bin" ] ; then |
|
|
|
|
PATH="$HOME/bin:$PATH" |
|
|
|
|
fi |
|
|
|
|
|
|
|
|
|
# set PATH so it includes user's private bin if it exists |
|
|
|
|
if [ -d "$HOME/.local/bin" ] ; then |
|
|
|
|
PATH="$HOME/.local/bin:$PATH" |
|
|
|
|
fi |
|
|
|
|
|
|
|
|
|
if [ -d "$HOME/.binenv" ] ; then |
|
|
|
|
PATH="${HOME}/.binenv:$PATH" |
|
|
|
|
source <(binenv completion bash) |
|
|
|
|
fi |
|
|
|
|
|