diff --git a/.profile b/.profile index bb632cf..3bb1dea 100644 --- a/.profile +++ b/.profile @@ -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