diff options
author | Tom Ryder <tom@sanctum.geek.nz> | 2014-02-10 23:54:25 +1300 |
---|---|---|
committer | Tom Ryder <tom@sanctum.geek.nz> | 2014-02-10 23:54:25 +1300 |
commit | 79309afa6f6d8b4f3a607694608b499db6b992fa (patch) | |
tree | 627a59b4d7182ccca6d7bfb613895e876bfd25ed /bash/bash_profile | |
parent | Add comment (diff) | |
download | dotfiles-79309afa6f6d8b4f3a607694608b499db6b992fa.tar.gz dotfiles-79309afa6f6d8b4f3a607694608b499db6b992fa.zip |
Use space before semicolon as command separator
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 |