summaryrefslogtreecommitdiff
path: root/libre/filesystem/profile
diff options
context:
space:
mode:
Diffstat (limited to 'libre/filesystem/profile')
-rw-r--r--libre/filesystem/profile2
1 files changed, 1 insertions, 1 deletions
diff --git a/libre/filesystem/profile b/libre/filesystem/profile
index 59d0abc83..60c1821dd 100644
--- a/libre/filesystem/profile
+++ b/libre/filesystem/profile
@@ -16,7 +16,7 @@ if test -d /etc/profile.d/; then
fi
# Source global bash config
-if test "$PS1" && test "$BASH" && test -r /etc/bash.bashrc; then
+if test "$PS1" && test "$BASH" && test -z ${POSIXLY_CORRECT+x} && test -r /etc/bash.bashrc; then
. /etc/bash.bashrc
fi