diff options
-rw-r--r-- | bash/bash_logout | 2 | ||||
-rw-r--r-- | bash/bash_profile | 2 | ||||
-rw-r--r-- | bash/bashrc | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/bash/bash_logout b/bash/bash_logout index 730cb45d..29264c78 100644 --- a/bash/bash_logout +++ b/bash/bash_logout @@ -1,5 +1,5 @@ # Give up completely if no BASH_VERSINFO (<2.0) -if ! [ "$BASH_VERSINFO" ] ; then +if ! test "$BASH_VERSINFO" ; then return fi diff --git a/bash/bash_profile b/bash/bash_profile index 867ad533..d7b703eb 100644 --- a/bash/bash_profile +++ b/bash/bash_profile @@ -1,5 +1,5 @@ # Give up completely if no BASH_VERSINFO (<2.0) -if ! [ "$BASH_VERSINFO" ] ; then +if ! test "$BASH_VERSINFO" ; then return fi diff --git a/bash/bashrc b/bash/bashrc index 4b37f7cb..2caa80c5 100644 --- a/bash/bashrc +++ b/bash/bashrc @@ -1,5 +1,5 @@ # Give up completely if no BASH_VERSINFO (<2.0) -if ! [ "$BASH_VERSINFO" ] ; then +if ! test "$BASH_VERSINFO" ; then return fi |