From 9abfc855fa30067cb5612897e805baee723504a9 Mon Sep 17 00:00:00 2001
From: Manos Pitsidianakis <el13635@mail.ntua.gr>
Date: Sat, 11 Aug 2018 18:05:48 +0300
Subject: [PATCH] Add scripts/ dir

---
 scripts/pre-commit | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 scripts/pre-commit

diff --git a/scripts/pre-commit b/scripts/pre-commit
new file mode 100644
index 000000000..b6bc60a95
--- /dev/null
+++ b/scripts/pre-commit
@@ -0,0 +1,7 @@
+#!/bin/zsh
+#
+
+exec find . -name "*rs" -exec rustfmt {} \;
+exec cargo +nightly clippy
+# If there are whitespace errors, print the offending file names and fail.
+exec git diff-index --check --cached $against --