diff options
Diffstat (limited to 'bash/bashrc.d/grep.bash')
-rw-r--r-- | bash/bashrc.d/grep.bash | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bash/bashrc.d/grep.bash b/bash/bashrc.d/grep.bash index f2a2f5d1..6fffc20c 100644 --- a/bash/bashrc.d/grep.bash +++ b/bash/bashrc.d/grep.bash @@ -11,19 +11,19 @@ grepopts() { grepopts=("${grepopts[@]}" '-I') # If the --exclude option is available, exclude some VCS files - if [[ $grephelp == *--exclude* ]]; then + if [[ $grephelp == *--exclude* ]] ; then grepopts=("${grepopts[@]}" '--exclude=.git{,ignore,modules}') fi # If the --exclude-dir option is available, exclude some VCS dirs - if [[ $grephelp == *--exclude-dir* ]]; then + if [[ $grephelp == *--exclude-dir* ]] ; then grepopts=("${grepopts[@]}" '--exclude-dir=.{cvs,git,hg,svn}') fi # If the --color option is available and we have a terminal that supports # at least eight colors, add --color=auto to the options local colors=$(tput colors) - if [[ $grephelp == *--color* ]] && ((colors >= 8)); then + if [[ $grephelp == *--color* ]] && ((colors >= 8)) ; then grepopts=("${grepopts[@]}" '--color=auto') fi |