add check_whitespace

Author: basnijholt

.gitignore

@@ -94,4 +94,4 @@ ENV/
 # asv files
 benchmarks/html/
 benchmarks/results/
-.asv
+.asv

.gitlab-ci.yml

@@ -14,3 +14,7 @@ authors check:
     - MISSING_AUTHORS=$(git shortlog -s HEAD | sed -e "s/^[0-9\t ]*//"| xargs -i sh -c 'grep -q "{}" AUTHORS.md || echo "{} missing from authors"')
     - if [ ! -z "$MISSING_AUTHORS" ]; then { echo $MISSING_AUTHORS; exit 1; }; fi
   allow_failure: true
+
+check whitespace style:
+  script: ./check_whitespace
+  allow_failure: true

check_whitespace

@@ -0,0 +1,9 @@
+#!/bin/sh
+
+! for f in $(git ls-files | grep -v \\.diff$); do
+    file $f | grep -q ' text' || continue
+    grep -q '[[:blank:]]$' $f && echo $f: trailing whitespace
+    tail -n1 $f | read -r _ || echo $f: no newline at end of file
+    tail -n1 $f | grep -q '^$' && echo $f: empty line at end of file
+done | grep . >&2
+