diff options
-rw-r--r-- | .bash_profile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/.bash_profile b/.bash_profile new file mode 100644 index 0000000..c13e9c6 --- /dev/null +++ b/.bash_profile @@ -0,0 +1,11 @@ +# +# ~/.bash_profile +# + +## This only is read by bash when it is a login shell, +# not an interactive one (lightdm, for example). So +# .profile has to be sourced (as well as .bashrc). See: +# https://unix.stackexchange.com/questions/88106/why-doesnt-my-bash-profile-work. + +[[ -f ~/.profile ]] && . ~/.profile +[[ -f ~/.bashrc ]] && . ~/.bashrc |