2 # ~/.bash_profile: executed by bash(1) for login shells.
3 # Written 2003-2009 by Alexander Barton (alex@barton.de)
5 # This script is read in by bash login shells.
8 # To make this script generic, it sources ~/bash_profile.user if it exists.
9 # So you shouldn't make changes to this script, but create your own
10 # individual ~/bash_profile.user file!
13 [ -e ~/.ConfigScripts.debug ] && echo " >> ~/.bash_profile ..."
15 [ -z "$PROFILEREAD" -a -r ~/.etc/profile ] && source ~/.etc/profile
16 [ -r ~/.bash_profile.user ] && source ~/.bash_profile.user
17 [ -r ~/.bashrc ] && source ~/.bashrc