diff options
author | Tom Ryder <tom@sanctum.geek.nz> | 2014-02-19 10:46:35 +1300 |
---|---|---|
committer | Tom Ryder <tom@sanctum.geek.nz> | 2014-02-19 10:46:35 +1300 |
commit | 1cf4ce12175718c03fd1809c0d4642641673a736 (patch) | |
tree | 31cfafbca16e17221789d75241a7b03901854b3c | |
parent | Remove unneeded ${...} wraps around array derefs (diff) | |
download | dotfiles-1cf4ce12175718c03fd1809c0d4642641673a736.tar.gz dotfiles-1cf4ce12175718c03fd1809c0d4642641673a736.zip |
Don't print error messages for old Bash
If you're running Bash so old that these files won't run, you probably
realise it already.
-rw-r--r-- | bash/bash_profile | 5 | ||||
-rw-r--r-- | bash/bashrc | 5 |
2 files changed, 2 insertions, 8 deletions
diff --git a/bash/bash_profile b/bash/bash_profile index bd80dba6..867ad533 100644 --- a/bash/bash_profile +++ b/bash/bash_profile @@ -1,8 +1,5 @@ # Give up completely if no BASH_VERSINFO (<2.0) -if [ -z "$BASH_VERSINFO" ] ; then - printf \ - '%s: %s is too old to work with this configuration.\n' \ - "${BASH##*/}" "$BASH_VERSION" >&2 +if ! [ "$BASH_VERSINFO" ] ; then return fi diff --git a/bash/bashrc b/bash/bashrc index 3aa963d4..b10c86af 100644 --- a/bash/bashrc +++ b/bash/bashrc @@ -1,8 +1,5 @@ # Give up completely if no BASH_VERSINFO (<2.0) -if [ -z "$BASH_VERSINFO" ] ; then - printf \ - '%s: %s is too old to work with this configuration.\n' \ - "${BASH##*/}" "$BASH_VERSION" >&2 +if ! [ "$BASH_VERSINFO" ] ; then return fi |