diff options
author | Tom Ryder <tom@sanctum.geek.nz> | 2017-10-31 23:34:15 +1300 |
---|---|---|
committer | Tom Ryder <tom@sanctum.geek.nz> | 2017-10-31 23:37:01 +1300 |
commit | e5c15fff9aaa3e8c462ec92106d978917673af5c (patch) | |
tree | 4bf8b368c7a673a5f76ce17c5e2f3cf0307404b5 /check/bin.sh | |
parent | Bump version number to 0.2.1 (diff) | |
download | dotfiles-e5c15fff9aaa3e8c462ec92106d978917673af5c.tar.gz dotfiles-e5c15fff9aaa3e8c462ec92106d978917673af5c.zip |
Use "shell" not "sh" consistently
I'm going to pretend this is a crucially important production fix, in
order to try out the "hotfix" part of the "Git flow" workflow.
Diffstat (limited to 'check/bin.sh')
-rw-r--r-- | check/bin.sh | 4 |
1 files changed, 2 insertions, 2 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 |