Add pre-commit hook for filenames

Closes: #6327

.pre-commit-config.yaml

@@ -75,3 +75,10 @@ repos:
         args:
           - --strict
         exclude: ^build/premake/premake5/
+  - repo: local
+    hooks:
+      - id: sane-filenames
+        name: sane-filenames
+        language: python
+        types: [file]
+        entry: ./lint/pre-commit-hooks/sane_filenames.py

lint/pre-commit-hooks/sane_filenames.py

@@ -0,0 +1,16 @@
+#!/usr/bin/env python3
+
+import re
+import sys
+
+
+re_allowed_name = re.compile("^[-_./A-Za-z0-9]*$")
+
+has_error = False
+for f in sys.argv[1:]:
+    if not re_allowed_name.match(f):
+        has_error = True
+        print(f)
+
+if has_error:
+    sys.exit(1)