Add git pre-commit hook and format the code

adamcrume · adamcrume · commit 2a61e66c0165 · 2023-05-19T20:56:49.000-07:00
diff --git a/git-hooks/pre-commit b/git-hooks/pre-commit
@@ -0,0 +1,43 @@
+#!/bin/bash
+
+set -e
+
+if git-rev-parse --verify HEAD >/dev/null 2>&1
+then
+    against=HEAD
+else
+    # Initial commit: diff against an empty tree object
+    against=4b825dc642cb6eb9a060e54bf8d69288fbee4904
+fi
+
+function grep-check {
+    test="$1"
+    ignore="$2"
+    msg="$3"
+    if (git diff --cached | egrep -i "$test" | grep -v IGNORE:"$ignore"); then
+        echo "Error: $msg  (This message can be suppressed by adding the string IGNORE:$ignore to the same line.)"
+        exit 1
+    fi
+}
+
+function grep-check-case-sensitive {
+    test="$1"
+    ignore="$2"
+    msg="$3"
+    if (git diff --cached | egrep "$test" | grep -v IGNORE:"$ignore"); then
+        echo "Error: $msg  (This message can be suppressed by adding the string IGNORE:$ignore to the same line.)"
+        exit 1
+    fi
+}
+
+grep-check-case-sensitive \
+    NOCOMMIT `#IGNORE:NOCOMMIT` \
+    NOCOMMIT `#IGNORE:NOCOMMIT` \
+    "Found a line tagged with NOCOMMIT." # IGNORE:NOCOMMIT
+
+cargo fmt --all -- --check
+cargo build --all-targets
+cargo test --release
+
+# Check for trailing whitespace
+exec git diff-index --check --cached $against --
diff --git a/init-git-hooks b/init-git-hooks
@@ -0,0 +1,4 @@
+#!/bin/bash
+
+mydir="$(dirname "$(readlink -f "$0")")"
+ln -s ../../git-hooks/pre-commit "$mydir"/.git/hooks/pre-commit
diff --git a/src/lib.rs b/src/lib.rs
