diff options
-rw-r--r-- | check/bin.sh | 4 | ||||
-rw-r--r-- | check/games.sh | 4 | ||||
-rw-r--r-- | lint/bin.sh | 2 | ||||
-rw-r--r-- | lint/games.sh | 2 |
4 files changed, 6 insertions, 6 deletions
diff --git a/check/bin.sh b/check/bin.sh index 08b12778..61b46af8 100644 --- a/check/bin.sh +++ b/check/bin.sh @@ -1,8 +1,8 @@ -# POSIX sh +# POSIX shell for bin in bin/*.sh ; do sh -n -- "${bin%.sh}" || exit done -printf 'POSIX sh binscripts parsed successfully.\n' +printf 'POSIX shell binscripts parsed successfully.\n' # GNU Bash if command -v bash >/dev/null 2>&1 ; then diff --git a/check/games.sh b/check/games.sh index cb1bcc31..bea65a08 100644 --- a/check/games.sh +++ b/check/games.sh @@ -1,5 +1,5 @@ -# POSIX sh +# POSIX shell for game in games/*.sh ; do sh -n -- "${game%.sh}" || exit done -printf 'POSIX sh games parsed successfully.\n' +printf 'POSIX shell games parsed successfully.\n' diff --git a/lint/bin.sh b/lint/bin.sh index 6037ca55..c50a2492 100644 --- a/lint/bin.sh +++ b/lint/bin.sh @@ -1,4 +1,4 @@ -# POSIX sh +# POSIX shell set -- for bin in bin/*.sh ; do set -- "$@" "${bin%.sh}" diff --git a/lint/games.sh b/lint/games.sh index 6d51ba0d..184728b6 100644 --- a/lint/games.sh +++ b/lint/games.sh @@ -1,4 +1,4 @@ -# POSIX sh +# POSIX shell set -- for game in games/*.sh ; do set -- "$@" "${game%.sh}" |