user/bashrc

   1 #
   2 # ~/.bashrc: executed by bash(1) for non-login shells.
   3 # Written 2006-2009 by Alexander Barton (alex@barton.de)
   4 #
   5 # This script is read in by interactive bash shells, called manually or
   6 # as login shells (the latter is implemented by sourcing this file from
   7 # the ~/.bash_profile file).
   8 #
   9 # PLEASE NOTE:
  10 # To make this script generic, it sources ~/bashrc.user if it exists.
  11 # So you shouldn't make changes to this script, but create your own
  12 # individual ~/bashrc.user file!
  13 #
  14
  15 [ -e ~/.ConfigScripts.debug ] && echo " .. ~/.bashrc ..."
  16
  17 [ -r ~/.bashrc.user-1st ] && source ~/.bashrc.user-1st
  18 [ -z "$BASHRCREAD" -a -r ~/.etc/bashrc ] && source ~/.etc/bashrc
  19 [ -z "$BASHRCREAD" -a -r /etc/bashrc ] && source /etc/bashrc
  20 [ -r ~/.bashrc.user ] && source ~/.bashrc.user
  21
  22 [ -e ~/.ConfigScripts.debug ] && echo " >> ~/.bashrc ..."
  23
  24 # -eof-