Fix pre-commit hook so it doesn't catch .latex+lhs extensions.
commitce606cb688a703b133ab7188fee45679e356a07d
authorJohn MacFarlane <jgm@berkeley.edu>
dateWed 25 Nov 2020, 16:09 (6 years ago)
parentea8097e
CONTRIBUTING.md+1−1
@@ -225,7 +225,7 @@ A good way to ensure no new warnings are introduced is to use a Git
225225before creating a commit:
226226
227227 #!/bin/sh
228− git diff --cached --name-only | grep '.hs$' | xargs hlint
228+ git diff --cached --name-only | grep '\.hs$' | xargs hlint
229229
230230Saving this to `.git/hooks/pre-commit`, and making the script
231231executable, will prevent accidental introduction of potentially