diff options
| author | Tor Andersson <tor.andersson@artifex.com> | 2013-05-27 14:44:20 +0200 |
|---|---|---|
| committer | Tor Andersson <tor.andersson@artifex.com> | 2013-05-27 14:50:57 +0200 |
| commit | 01e8dbf74068362d769604df9e87d17c0c190f27 (patch) | |
| tree | 02978e5270fe473cbfdd113a80ce343527682fd0 /scripts/githooks | |
| parent | 1e26928dd197a80572f4e298eceeec915677ba3d (diff) | |
| download | mupdf-01e8dbf74068362d769604df9e87d17c0c190f27.tar.xz | |
Add whitespace settings to .gitattributes and add commit hook script.
Run "bash scripts/gitsetup.sh" to set up the hooks after cloning.
Diffstat (limited to 'scripts/githooks')
| -rwxr-xr-x | scripts/githooks/pre-commit | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/scripts/githooks/pre-commit b/scripts/githooks/pre-commit new file mode 100755 index 00000000..fec7128f --- /dev/null +++ b/scripts/githooks/pre-commit @@ -0,0 +1,19 @@ +#!/bin/bash +# +# pre-commit hook to fix whitespace errors +# +# Uses the core.whitespace or .gitattributes whitespace=... settings. +# +# see also: "man git-config" under core.whitespace +# see also: "man gitattributes" +# + +PATCH=P.diff + +if ! git diff --cached --check --quiet +then + git diff --cached > $PATCH + git apply --cached --whitespace=fix -R $PATCH + git apply --cached --whitespace=fix $PATCH + rm $PATCH +fi |