aboutsummaryrefslogtreecommitdiff
path: root/bash/bash_profile
diff options
context:
space:
mode:
Diffstat (limited to 'bash/bash_profile')
-rw-r--r--bash/bash_profile7
1 files changed, 5 insertions, 2 deletions
diff --git a/bash/bash_profile b/bash/bash_profile
index bf2fa92c..d3f9f9b0 100644
--- a/bash/bash_profile
+++ b/bash/bash_profile
@@ -3,9 +3,12 @@ if test -e "$HOME"/.profile ; then
. "$HOME"/.profile
fi
-# Give up completely if no BASH_VERSINFO (<2.0)
-if ! test "$BASH_VERSINFO" ; then
+# Ensure we're using at least version 2.05
+if ! test -n "$BASH_VERSINFO" ; then
return
+elif ((10#${BASH_VERSINFO[0]%%[![:digit:]]} == 2)) \
+ && ((10#${BASH_VERSINFO[1]%%[![:digit:]]} < 5)) ; then
+ return
fi
# Source interactive Bash config if it exists