aboutsummaryrefslogtreecommitdiff
path: root/lint
diff options
context:
space:
mode:
authorTom Ryder <tom@sanctum.geek.nz>2017-10-31 23:34:15 +1300
committerTom Ryder <tom@sanctum.geek.nz>2017-10-31 23:37:01 +1300
commite5c15fff9aaa3e8c462ec92106d978917673af5c (patch)
tree4bf8b368c7a673a5f76ce17c5e2f3cf0307404b5 /lint
parentBump version number to 0.2.1 (diff)
downloaddotfiles-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')
-rw-r--r--lint/bin.sh2
-rw-r--r--lint/games.sh2
2 files changed, 2 insertions, 2 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}"
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}"