build: add linting against EditorConfig to pre-commit hook

kgryte · kgryte · commit 6d88acdd4e4c · 2024-12-17T01:43:18.000-08:00
diff --git a/tools/git/hooks/pre-commit b/tools/git/hooks/pre-commit
@@ -45,6 +45,7 @@ skip_shell="${SKIP_LINT_SHELL}"
 skip_typescript_declarations="${SKIP_LINT_TYPESCRIPT_DECLARATIONS}"
 skip_typescript_tests="${SKIP_LINT_TYPESCRIPT_TESTS}"
 skip_license_headers="${SKIP_LINT_LICENSE_HEADERS}"
+skip_editorconfig="${SKIP_LINT_EDITORCONFIG}"
 
 # Determine root directory:
 root=$(git rev-parse --show-toplevel)
@@ -140,6 +141,15 @@ run_lint() {
 			return 1
 		fi
 	fi
+	# Lint against EditorConfig:
+	if [[ -z "${skip_editorconfig}" ]]; then
+		make FILES="${changed_files}" lint-editorconfig-files > /dev/null >&2
+		if [[ "$?" -ne 0 ]]; then
+			echo '' >&2
+			echo 'EditorConfig lint errors.' >&2
+			return 1
+		fi
+	fi
 	# Lint Markdown files...
 	if [[ -z "${skip_markdown}" ]]; then
 		files=$(echo "${changed_files}" | grep '\.md$' | tr '\n' ' ')
