diff options
author | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2018-08-11 18:05:48 +0300 |
---|---|---|
committer | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2019-06-10 19:40:28 +0300 |
commit | 9abfc855fa30067cb5612897e805baee723504a9 (patch) | |
tree | 281a1dedb88c68eaaf137d87e2335b6c3ee0e25c /scripts | |
parent | b98a04f35bffa29392c66cc8094f0c1572ebdac4 (diff) |
Add scripts/ dir
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/pre-commit | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/scripts/pre-commit b/scripts/pre-commit new file mode 100644 index 00000000..b6bc60a9 --- /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 -- |