diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2020-11-25 16:09:50 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2020-11-25 16:09:50 -0800 |
| commit | ce606cb688a703b133ab7188fee45679e356a07d (patch) | |
| tree | 192fd050ec87f933e57def1b5e84dcb850a9e0c7 | |
| parent | ea8097e41249387613cae2552866f1ea1cea1462 (diff) | |
| download | pandoc-ce606cb688a703b133ab7188fee45679e356a07d.tar.gz | |
Fix pre-commit hook so it doesn't catch .latex+lhs extensions.
| -rw-r--r-- | CONTRIBUTING.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index cb39ac365..ea2bf80e7 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -225,7 +225,7 @@ 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 --cached --name-only | grep '\.hs$' | xargs hlint Saving this to `.git/hooks/pre-commit`, and making the script executable, will prevent accidental introduction of potentially |