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 /lint/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 'lint/bin.sh')
-rw-r--r-- | lint/bin.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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}" |