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