From: Alexander Barton <alex@barton.de>
Date: Sun, 15 Jun 2014 23:49:07 +0000 (+0200)
Subject: user/bash_profile: don't forget to read /etc/profile
X-Git-Url: https://arthur.barton.de/cgi-bin/gitweb.cgi?p=ConfigScripts.git;a=commitdiff_plain;h=bf44e6a6957c20308bb708c4729befb10fb5f019

user/bash_profile: don't forget to read /etc/profile
---

diff --git a/user/bash_profile b/user/bash_profile
index a016613..0c0eded 100644
--- a/user/bash_profile
+++ b/user/bash_profile
@@ -13,6 +13,7 @@
 [ -e ~/.ConfigScripts.debug ] && echo " .. ~/.bash_profile ..."
 
 [ -z "$PROFILEREAD" -a -r ~/.etc/profile ] && source ~/.etc/profile
+[ -z "$PROFILEREAD" -a -r /etc/profile ] && source /etc/profile
 [ -r ~/.bash_profile.user ] && source ~/.bash_profile.user
 
 [ -e ~/.ConfigScripts.debug ] && echo " >> ~/.bash_profile ..."