From bf44e6a6957c20308bb708c4729befb10fb5f019 Mon Sep 17 00:00:00 2001 From: Alexander Barton Date: Mon, 16 Jun 2014 01:49:07 +0200 Subject: [PATCH] user/bash_profile: don't forget to read /etc/profile --- user/bash_profile | 1 + 1 file changed, 1 insertion(+) 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 ..." -- 2.39.2