From 82d75833d1e864a4e79248a0b275329e25094048 Mon Sep 17 00:00:00 2001 From: Tom Ryder Date: Tue, 2 Aug 2016 17:08:20 +1200 Subject: Spruce up lint-bin and lint-games scripts --- lint/bin | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) (limited to 'lint/bin') diff --git a/lint/bin b/lint/bin index 1f7d9c66..c5729fdb 100755 --- a/lint/bin +++ b/lint/bin @@ -1,7 +1,11 @@ #!/bin/sh -for bin in bin/* ; do - if sed 1q "$bin" | grep -q -- 'sh$' ; then - printf '%s\n' "$bin" - shellcheck -- "$bin" - fi +for bin in games/* ; do + [ -e "$bin" ] || continue + hb=$(sed 1q "$bin") || exit + case $hb in + *sh) + printf '%s\n' "$bin" + shellcheck -- "$bin" + ;; + esac done -- cgit v1.2.3