diff options
| author | Martin Roth <gaumless@gmail.com> | 2018-06-06 21:34:47 -0600 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2018-06-07 06:27:08 +0000 |
| commit | e99a718e83e4332822c6d362799a2a0c9c9c4546 (patch) | |
| tree | 5b1176c4b5403cc8f63c719790d7bec21b45bdc1 /util/lint | |
| parent | 06e9816191d310435ca11f6403a3cd1f555af6df (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-x | util/lint/lint-stable-023-filenames | 24 |
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 |