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 [ -r ~/.bash_profile.user ] && source ~/.bash_profile.user
  17
  18 [ -e ~/.ConfigScripts.debug ] && echo " >> ~/.bash_profile ..."
  19
  20 # Add commands here ...
  21
  22 [ -r ~/.bashrc ] && source ~/.bashrc
  23
  24 # -eof-