diff options
author | Tom Ryder <tom@sanctum.geek.nz> | 2013-10-19 22:34:08 +1300 |
---|---|---|
committer | Tom Ryder <tom@sanctum.geek.nz> | 2013-10-19 22:34:08 +1300 |
commit | 12584ca34ec7fb13739d7d4a98269ddf5571fd77 (patch) | |
tree | 84d00e7ca96a267b5a85110475d3a07eab7ee7db /bash/bash_profile | |
parent | Describe completion policy (diff) | |
download | dotfiles-12584ca34ec7fb13739d7d4a98269ddf5571fd77.tar.gz dotfiles-12584ca34ec7fb13739d7d4a98269ddf5571fd77.zip |
Make failed loading due to old Bash explicit
Diffstat (limited to 'bash/bash_profile')
-rw-r--r-- | bash/bash_profile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bash/bash_profile b/bash/bash_profile index e23ec458..038f370c 100644 --- a/bash/bash_profile +++ b/bash/bash_profile @@ -1,5 +1,8 @@ # 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 return fi |