CONTRIBUTING: note on GNU xargs
commitea96bc52e48b553dabcdaf6cbade7a332f8ffb1d
authorJohn MacFarlane <jgm@berkeley.edu>
dateTue 12 Jan 2021, 21:53 (6 years ago)
parent526e7f5
CONTRIBUTING.md+3
@@ -291,6 +291,9 @@ before creating a commit:
291291 git diff --diff-filter=MA --cached --name-only | grep '\.hs$' | \
292292 xargs hlint --hint .hlint.yaml
293293
294+(If you are using GNU `xargs`, add the `-r` option immediately
295+after `xargs`.)
296+
294297Saving this to `.git/hooks/pre-commit`, and making the script
295298executable, will prevent accidental introduction of potentially
296299problematic code.