List possible terminal attributes and colors

[ConfigScripts.git] / user / bashrc

diff --git a/user/bashrc b/user/bashrc
index d4bfc0b3d6b39da33afb29f2addf624ecb908623..052b18c6ffa7a328bcd2d90a4da625839848dcd2 100644 (file)
--- a/user/bashrc
+++ b/user/bashrc
@@ -1,11 +1,21 @@
 #
 # ~/.bashrc: executed by bash(1) for non-login shells.
-# Written 2006-2008 by Alexander Barton (alex@barton.de)
+# Written 2006-2009 by Alexander Barton (alex@barton.de)
+#
+# This script is read in by interactive bash shells, called manually or
+# as login shells (the latter is implemented by sourcing this file from
+# the ~/.bash_profile file).
+#
+# PLEASE NOTE:
+# To make this script generic, it sources ~/bashrc.user if it exists.
+# So you shouldn't make changes to this script, but create your own
+# individual ~/bashrc.user file!
 #
 
 [ -e ~/.ConfigScripts.debug ] && echo " >> ~/.bashrc ..."
 
 [ -z "$BASHRCREAD" -a -r ~/.etc/bashrc ] && source ~/.etc/bashrc
+[ -z "$BASHRCREAD" -a -r /etc/bashrc ] && source /etc/bashrc
 [ -r ~/.bashrc.user ] && source ~/.bashrc.user
 
 # -eof-