#
# ~/.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 ..."