Source /etc/bashrc from ~/.bashrc, if not already read in.

diff --git a/user/bashrc b/user/bashrc
index bf11a6bc0ce8c4d5d8c8a9326dfb4820d8e1d82f..052b18c6ffa7a328bcd2d90a4da625839848dcd2 100644 (file)
--- a/user/bashrc
+++ b/user/bashrc
@@ -15,6 +15,7 @@
 [ -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-