aboutsummaryrefslogtreecommitdiff
path: root/bash/bash_profile
diff options
context:
space:
mode:
authorTom Ryder <tom@sanctum.geek.nz>2014-02-19 10:46:35 +1300
committerTom Ryder <tom@sanctum.geek.nz>2014-02-19 10:46:35 +1300
commit1cf4ce12175718c03fd1809c0d4642641673a736 (patch)
tree31cfafbca16e17221789d75241a7b03901854b3c /bash/bash_profile
parentRemove unneeded ${...} wraps around array derefs (diff)
downloaddotfiles-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.
Diffstat (limited to 'bash/bash_profile')
-rw-r--r--bash/bash_profile5
1 files changed, 1 insertions, 4 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