sys/bashrc: Search for /etc/profile in ~/.etc/profile, too

diff --git a/sys/bashrc b/sys/bashrc
index 33fd599ef2e05ff113d2db89e74b300fb46c9754..efb445fbdcb05877f398479b3b12986bc1ce4726 100644 (file)
--- a/sys/bashrc
+++ b/sys/bashrc
@@ -8,6 +8,7 @@
 BASHRCREAD="true"
 
 [ -z "$PROFILEREAD" -a -r /etc/profile ] && source /etc/profile
+[ -z "$PROFILEREAD" -a -r ~/.etc/profile ] && source ~/.etc/profile
 
 # Interactive shell?
 [ "$PS1" ] || return