1 files changed, 20 insertions, 0 deletions
diff --git a/script/check-shell-scripts.sh b/script/check-shell-scripts.sh
new file mode 100755
index 0000000..f4f48a3
--- /dev/null
+++ b/script/check-shell-scripts.sh
@@ -0,0 +1,20 @@
+#!/bin/sh
+
+if [ $# -lt 1 ]; then
+	echo "Usage: $(basename "${0}") DIR [SEVERITY]"
+	exit 1
+fi
+
+DIR="${1}"
+SEVERITY="${2:-error}"
+
+shfmt -f "${DIR}" |
+	grep -v -E "(bootstrap|third_party)" |
+	xargs shellcheck \
+		--shell=sh \
+		--external-sources \
+		--check-sourced \
+		--format=gcc \
+		--severity="${SEVERITY}"
+
+exit $?