diff --git a/script-lint.sh b/script-lint.sh index 10cf94fa..40b70a16 100755 --- a/script-lint.sh +++ b/script-lint.sh @@ -5,9 +5,12 @@ require shellcheck set -ex +shellcheck start.sh +shellcheck dev_sockets.sh shellcheck script-lint.sh shellcheck test.sh shellcheck orbit/warpdrive.sh +shellcheck orbit/start.sh shellcheck denis/configure.sh shellcheck mailman/inspector.sh shellcheck git/admin.sh @@ -19,3 +22,5 @@ shellcheck git/hooks/post-update # -x needed to make shellcheck follow `source` command shellcheck -x backup/backup.sh shellcheck -x backup/restore.sh + +test "$(git ls-tree -r HEAD | grep -c '.*\.sh$')" -eq "13" || (echo "New script detected. Does it need to be added to script-lint?" && false)