#
# ~/.bash_profile: executed by bash(1) for login shells.
# Written 2003-2015 by Alexander Barton (alex@barton.de)
#
# This script is read in by bash login shells.
#
# PLEASE NOTE:
# To make this script generic, it sources ~/bash_profile.user if it exists.
# So you shouldn't make changes to this script, but create your own
# individual ~/bash_profile.user file!
#

[ -e ~/.ConfigScripts.debug ] && echo " .. ~/.bash_profile ..."

[ -z "$PROFILEREAD" -a -r ~/.etc/profile ] && source ~/.etc/profile
[ -z "$PROFILEREAD" -a -r /etc/profile ] && source /etc/profile

[ -e ~/.ConfigScripts.debug ] && echo " >> ~/.bash_profile ..."

# Add commands here ...

[ -r ~/.bash_profile.user ] && source ~/.bash_profile.user

[ -r ~/.bashrc ] && source ~/.bashrc

# -eof-