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/bashrc | |
parent | Add comment (diff) | |
download | dotfiles-79309afa6f6d8b4f3a607694608b499db6b992fa.tar.gz dotfiles-79309afa6f6d8b4f3a607694608b499db6b992fa.zip |
Use space before semicolon as command separator
Diffstat (limited to 'bash/bashrc')
-rw-r--r-- | bash/bashrc | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/bash/bashrc b/bash/bashrc index 0d68f01f..09edf801 100644 --- a/bash/bashrc +++ b/bash/bashrc @@ -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,13 +7,13 @@ if [ -z "$BASH_VERSINFO" ]; then fi # Don't do anything if not running interactively -if [[ $- != *i* ]]; then +if [[ $- != *i* ]] ; then return fi # Keep plenty of history; unlimited, if we have >=4.3 if ((${BASH_VERSINFO[0]} >= 4 \ -&& 10#${BASH_VERSINFO[1]%%[![:digit:]]*} >= 3)); then +&& 10#${BASH_VERSINFO[1]%%[![:digit:]]*} >= 3)) ; then HISTFILESIZE=-1 HISTSIZE=-1 else @@ -28,7 +28,7 @@ HISTCONTROL=ignoreboth HISTTIMEFORMAT='%F %T ' # Only tell me about new mail if MAIL is set and in $HOME -if [[ $MAIL == "$HOME"/* ]]; then +if [[ $MAIL == "$HOME"/* ]] ; then MAILCHECK=15 else unset -v MAILCHECK @@ -68,7 +68,7 @@ shopt -s shift_verbose shopt -u sourcepath # These options only exist since Bash 4.0-alpha -if ((${BASH_VERSINFO[0]} >= 4)); then +if ((${BASH_VERSINFO[0]} >= 4)) ; then # Warn me about stopped jobs when exiting shopt -s checkjobs # Autocorrect fudged paths during completion @@ -78,9 +78,9 @@ if ((${BASH_VERSINFO[0]} >= 4)); then fi # Load any supplementary scripts -if [[ -d $HOME/.bashrc.d ]]; then - for config in "$HOME"/.bashrc.d/*.bash; do - if [[ -r $config ]]; then +if [[ -d $HOME/.bashrc.d ]] ; then + for config in "$HOME"/.bashrc.d/*.bash ; do + if [[ -r $config ]] ; then source "$config" fi done |