diff options
author | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2017-10-09 13:55:54 +0200 |
---|---|---|
committer | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2017-10-25 13:41:52 +0200 |
commit | 54b9591a82889e3cdb31325e22c5af3e0e69e3df (patch) | |
tree | ca98f0c6b5c61f0ce8cded65edadcf634003ee02 /dev/lint-commits.sh | |
parent | f1598b00219a951e94036cb7f48a8fe1309025f1 (diff) |
Add linter.
Diffstat (limited to 'dev/lint-commits.sh')
-rwxr-xr-x | dev/lint-commits.sh | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/dev/lint-commits.sh b/dev/lint-commits.sh new file mode 100755 index 000000000..eb12bc227 --- /dev/null +++ b/dev/lint-commits.sh @@ -0,0 +1,32 @@ +#!/usr/bin/env bash + +# A script to check prettyness for a range of commits + +CALLNAME="$0" + +function usage +{ + >&2 echo "usage: $CALLNAME <commit> <commit>" + >&2 echo "The order of commits is as given to 'git diff'" +} + +if [ "$#" != 2 ]; +then + usage + exit 1 +fi + +BASE_COMMIT="$1" +HEAD_COMMIT="$2" + +# git diff --check +# uses .gitattributes to know what to check +if git diff --check "$BASE_COMMIT" "$HEAD_COMMIT"; +then + : +else + >&2 echo "Whitespace errors!" + >&2 echo "Running 'git diff --check $BASE_COMMIT $HEAD_COMMIT'." + >&2 echo "If you use emacs, you can prevent this kind of error from reocurring by installing ws-butler and enabling ws-butler-convert-leading-tabs-or-spaces." + exit 1 +fi |