tools: add HTML checking script

Check that HTML files are not inconsistently formatted
with both tabs and spaces.

1 files changed, 20 insertions, 0 deletions

diff --git a/tools/check-html.sh b/tools/check-html.sh
new file mode 100755
index 000000000..1b122329e
--- /dev/null
+++ b/tools/check-html.sh
@@ -0,0 +1,20 @@
+#!/usr/bin/env bash
+# Copyright 2024 syzkaller project authors. All rights reserved.
+# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file.
+
+FILES=0
+FAILED=""
+for F in $(find . -name "*.html"); do
+	((FILES+=1))
+	TABS=`cat $F | grep "	"  | wc -l`
+	# templates.html uses several spaces to format commit info using fixed-width font.
+	SPACES=`cat $F | grep -v "Commit.Date" | grep "  "  | wc -l`
+	if [ "$TABS" = "0" ] || [ "$SPACES" = "0" ]; then continue; fi
+	# Ignore untracked files.
+	git ls-files --error-unmatch $F >/dev/null 2>&1
+	if [ $? -ne 0 ]; then continue; fi
+	echo "$F:1:1: Uses both spaces ($SPACES) and tabs ($TABS) for formatting. Use either one of these."
+	FAILED="1"
+done
+if [ "$FAILED" != "" ]; then exit 1; fi
+echo "$FILES HTML files checked for formatting"