Add scripts/ dir

embed
Manos Pitsidianakis 2018-08-11 18:05:48 +03:00
parent b98a04f35b
commit 9abfc855fa
Signed by: Manos Pitsidianakis
GPG Key ID: 73627C2F690DF710
1 changed files with 7 additions and 0 deletions

View File

@ -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 --