aboutsummaryrefslogtreecommitdiff
path: root/util/lint
diff options
context:
space:
mode:
authorMartin Roth <gaumless@gmail.com>2018-06-06 21:34:47 -0600
committerPatrick Georgi <pgeorgi@google.com>2018-06-07 06:27:08 +0000
commite99a718e83e4332822c6d362799a2a0c9c9c4546 (patch)
tree5b1176c4b5403cc8f63c719790d7bec21b45bdc1 /util/lint
parent06e9816191d310435ca11f6403a3cd1f555af6df (diff)
util/lint: Add filename checker
Check that filenames have only alphanumeric characters plus underscore, dash, and period. Change-Id: I7bf0be15d588aa1a5ece628b56e871662d6af44b Signed-off-by: Martin Roth <gaumless@gmail.com> Reviewed-on: https://review.coreboot.org/26938 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Werner Zeh <werner.zeh@siemens.com> Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'util/lint')
-rwxr-xr-xutil/lint/lint-stable-023-filenames24
1 files changed, 24 insertions, 0 deletions
diff --git a/util/lint/lint-stable-023-filenames b/util/lint/lint-stable-023-filenames
new file mode 100755
index 0000000000..aa7b0906b7
--- /dev/null
+++ b/util/lint/lint-stable-023-filenames
@@ -0,0 +1,24 @@
+#!/bin/sh
+# This file is part of the coreboot project.
+#
+# Copyright (C) 2018 Google LLC
+#
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; version 2 of the License.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+#
+# DESCR: Check for illegal characters in filename
+
+LC_ALL=C export LC_ALL
+
+# Skip check if git isn't available
+if [ -n "$(command -v git)" ] && \
+ [ "$(git rev-parse --is-inside-work-tree 2>/dev/null)" = "true" ]
+then
+ git ls-files | grep "[^A-Za-z0-9/_\.-]"
+fi