New advice for pre-commit filter.

Without `--diff-filter=MA` it will try to lint deletions,
and fail because the file is not present.
This commit is contained in:
John MacFarlane 2020-12-18 12:18:23 -08:00
parent 906251e623
commit 35cfe2d01b

View file

@ -288,7 +288,8 @@ A good way to ensure no new warnings are introduced is to use a Git
before creating a commit:
#!/bin/sh
git diff --cached --name-only | grep '\.hs$' | xargs hlint
git diff --diff-filter=MA --cached --name-only | grep '\.hs$' | \
xargs hlint --hint .hlint.yaml
Saving this to `.git/hooks/pre-commit`, and making the script
executable, will prevent accidental introduction of potentially