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