user/bash_profile

   1 #
   2 # ~/.bash_profile: executed by bash(1) for login shells.
   3 # Written 2003-2009 by Alexander Barton (alex@barton.de)
   4 #
   5 # This script is read in by bash login shells.
   6 #
   7 # PLEASE NOTE:
   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!
  11 #
  12
  13 [ -e ~/.ConfigScripts.debug ] && echo " .. ~/.bash_profile ..."
  14
  15 [ -z "$PROFILEREAD" -a -r ~/.etc/profile ] && source ~/.etc/profile
  16 [ -z "$PROFILEREAD" -a -r /etc/profile ] && source /etc/profile
  17 [ -r ~/.bash_profile.user ] && source ~/.bash_profile.user
  18
  19 [ -e ~/.ConfigScripts.debug ] && echo " >> ~/.bash_profile ..."
  20
  21 # Add commands here ...
  22
  23 [ -r ~/.bashrc ] && source ~/.bashrc
  24
  25 # -eof-