diff options
Diffstat (limited to 'test/runLint')
| -rwxr-xr-x | test/runLint | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/test/runLint b/test/runLint index 2db8f358..8699d7a0 100755 --- a/test/runLint +++ b/test/runLint @@ -5,7 +5,7 @@ gitgrep() local out=$(git grep -I -P -n "$1" | \ grep -E '^(bash_completion|completions/|test/)' | \ grep -Fv 'test/runLint') - if [ -n "$out" ] ; then + if [ -n "$out" ]; then printf '***** %s\n' "$2" printf '%s\n\n' "$out" fi @@ -43,3 +43,5 @@ gitgrep $cmdstart'[ef]grep\b' \ gitgrep '(?<!command)'$cmdstart'(grep|ls|sed)(\s|$)' \ 'invoke grep, ls, and sed through "command", e.g. "command grep"' + +gitgrep '<<<' 'herestrings use temp files, use some other way' |