Rename scripts/ to dev/

This commit is contained in:
Alex Ling
2020-05-17 13:44:10 +00:00
parent d416dc6618
commit d75009f088
2 changed files with 1 additions and 1 deletions

5
dev/linewidth.sh Executable file
View File

@@ -0,0 +1,5 @@
#!/bin/sh
[ ! -z "$(grep '.\{80\}' --exclude-dir=lib --include="*.cr" -nr --color=always . | tee /dev/tty)" ] \
&& echo "The above lines exceed the 80 characters limit" \
|| exit 0