|
|
@ -1,8 +1,6 @@ |
|
|
# $HOME/bin |
|
|
|
|
|
# |
|
|
|
|
|
if [ -d "$HOME/bin" ]; then |
|
|
|
|
|
export PATH="$HOME/bin:$PATH" |
|
|
|
|
|
fi |
|
|
|
|
|
|
|
|
# ~/.profile: executed by the command interpreter for login shells. |
|
|
|
|
|
# This file is not read by bash(1), if ~/.bash_profile or ~/.bash_login |
|
|
|
|
|
# exists. |
|
|
|
|
|
|
|
|
# redirect bash to .bashrc (for `screen`) |
|
|
# redirect bash to .bashrc (for `screen`) |
|
|
if [ -n "$BASH_VERSION" ]; then |
|
|
if [ -n "$BASH_VERSION" ]; then |
|
|
@ -10,3 +8,8 @@ if [ -n "$BASH_VERSION" ]; then |
|
|
. "$HOME/.bashrc" |
|
|
. "$HOME/.bashrc" |
|
|
fi |
|
|
fi |
|
|
fi |
|
|
fi |
|
|
|
|
|
|
|
|
|
|
|
# set PATH so it includes user's private bin if it exists |
|
|
|
|
|
if [ -d "$HOME/bin" ]; then |
|
|
|
|
|
export PATH="$HOME/bin:$PATH" |
|
|
|
|
|
fi |
