diff options
Diffstat (limited to 'bash/bash_profile')
| -rw-r--r-- | bash/bash_profile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bash/bash_profile b/bash/bash_profile index 038f370c..bd80dba6 100644 --- a/bash/bash_profile +++ b/bash/bash_profile @@ -1,5 +1,5 @@ # Give up completely if no BASH_VERSINFO (<2.0) -if [ -z "$BASH_VERSINFO" ]; then +if [ -z "$BASH_VERSINFO" ] ; then printf \ '%s: %s is too old to work with this configuration.\n' \ "${BASH##*/}" "$BASH_VERSION" >&2 @@ -7,12 +7,12 @@ if [ -z "$BASH_VERSINFO" ]; then fi # Source Bourne shell profile if it exists -if [[ -r $HOME/.profile ]]; then +if [[ -r $HOME/.profile ]] ; then source "$HOME"/.profile fi # Source interactive Bash config if it exists -if [[ -r $HOME/.bashrc ]]; then +if [[ -r $HOME/.bashrc ]] ; then source "$HOME"/.bashrc fi |