diff options
| author | Andreas Grapentin <andreas@grapentin.org> | 2020-05-12 11:51:36 +0200 |
|---|---|---|
| committer | Andreas Grapentin <andreas@grapentin.org> | 2020-05-12 11:51:36 +0200 |
| commit | 492a5348d94a957230b2b0fab536461e437958db (patch) | |
| tree | 7b6ec0f4ddbf8663d907c2289d7c1d85c7fe16c4 /libre/filesystem/profile | |
| parent | dcb66fd952fc99df40cab4d18d3925a6535b5afc (diff) | |
libre/filesystem: updated to 2020.05.07-1
Diffstat (limited to 'libre/filesystem/profile')
| -rw-r--r-- | libre/filesystem/profile | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/libre/filesystem/profile b/libre/filesystem/profile index a4f717734..790e59b1d 100644 --- a/libre/filesystem/profile +++ b/libre/filesystem/profile @@ -28,8 +28,13 @@ if test -d /etc/profile.d/; then unset profile fi -# Source global bash config -if test "$PS1" && test "$BASH" && test -z ${POSIXLY_CORRECT+x} && test -r /etc/bash.bashrc; then +# Source global bash config, when interactive but not posix or sh mode +if test "$BASH" &&\ + test "$PS1" &&\ + test -z "$POSIXLY_CORRECT" &&\ + test "${0#-}" != sh &&\ + test -r /etc/bash.bashrc +then . /etc/bash.bashrc fi |