diff options
Diffstat (limited to 'lint/bin')
-rwxr-xr-x | lint/bin | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/lint/bin b/lint/bin new file mode 100755 index 00000000..b9171652 --- /dev/null +++ b/lint/bin @@ -0,0 +1,8 @@ + +#!/bin/sh +for bin in bin/* ; do + if sed 1q "$bin" | grep -q -- 'sh$' ; then + printf '%s\n' "$bin" + shellcheck -- "$bin" + fi +done |