diff options
| -rw-r--r-- | bash/bash_profile | 5 | ||||
| -rw-r--r-- | bash/bashrc | 5 |
2 files changed, 10 insertions, 0 deletions
diff --git a/bash/bash_profile b/bash/bash_profile index c119ddba..e23ec458 100644 --- a/bash/bash_profile +++ b/bash/bash_profile @@ -1,3 +1,8 @@ +# Give up completely if no BASH_VERSINFO (<2.0) +if [ -z "$BASH_VERSINFO" ]; then + return +fi + # Source Bourne shell profile if it exists if [[ -r $HOME/.profile ]]; then source "$HOME"/.profile diff --git a/bash/bashrc b/bash/bashrc index 8951a2ee..87046856 100644 --- a/bash/bashrc +++ b/bash/bashrc @@ -1,3 +1,8 @@ +# Give up completely if no BASH_VERSINFO (<2.0) +if [ -z "$BASH_VERSINFO" ]; then + return +fi + # Don't do anything if not running interactively if [[ $- != *i* ]]; then return |