diff options
Diffstat (limited to 'lint/games')
-rwxr-xr-x | lint/games | 12 |
1 files changed, 8 insertions, 4 deletions
@@ -1,7 +1,11 @@ #!/bin/sh for game in games/* ; do - if sed 1q "$game" | grep -q -- 'sh$' ; then - printf '%s\n' "$game" - shellcheck -- "$game" - fi + [ -e "$game" ] || continue + hb=$(sed 1q "$game") || exit + case $hb in + *sh) + printf '%s\n' "$game" + shellcheck -- "$game" + ;; + esac done |