1 # Pull in any system defaults first so they can be overridden later
2 [ -r /etc/profile ] && source /etc/profile
4 # We run the environment settings for all shells to ensure it's always set up
5 source "${HOME}/.bash/environment"
7 # An interactive shell starting bash_profile must be a login shell (man bash)
8 # We run the login script and the interactive setup
9 if [ -n "${PS1}" ]; then
10 source "${HOME}/.bash/login"
11 source "${HOME}/.bash/interactive"