diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2021-01-12 21:53:39 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2021-01-12 21:53:39 -0800 |
| commit | ea96bc52e48b553dabcdaf6cbade7a332f8ffb1d (patch) | |
| tree | 54bfdcb070ab7afd8abe9a1eeef5b8b737b687e6 /CONTRIBUTING.md | |
| parent | 526e7f5c5518096c9f108e43d7cc04c88c7c1b8e (diff) | |
| download | pandoc-ea96bc52e48b553dabcdaf6cbade7a332f8ffb1d.tar.gz | |
CONTRIBUTING: note on GNU xargs
Diffstat (limited to 'CONTRIBUTING.md')
| -rw-r--r-- | CONTRIBUTING.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 0749daeac..e87c96694 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -291,6 +291,9 @@ before creating a commit: git diff --diff-filter=MA --cached --name-only | grep '\.hs$' | \ xargs hlint --hint .hlint.yaml +(If you are using GNU `xargs`, add the `-r` option immediately +after `xargs`.) + Saving this to `.git/hooks/pre-commit`, and making the script executable, will prevent accidental introduction of potentially problematic code. |