From 7cef989b1fb4c92e53c20768d65c5e8d4f3406eb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Timoth=C3=A9e=20Floure?= <timothee.floure@posteo.net>
Date: Tue, 12 Jan 2021 07:14:24 +0100
Subject: [PATCH] Fix run-shellcheck.sh following 'conflict resolution' from
 gitlab web ui

---
 scripts/run-shellcheck.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/run-shellcheck.sh b/scripts/run-shellcheck.sh
index fcca722..d6c2db6 100755
--- a/scripts/run-shellcheck.sh
+++ b/scripts/run-shellcheck.sh
@@ -17,7 +17,7 @@ check() {
 rm -f "${SHELLCHECKTMP}"
 
 check -path '*/explorer/*'
-check -path '*/files/*' ! -name '*.awk' ! -name '*.py'
+check -path '*/files/*' -name '*.sh'
 check -name manifest
 check -name gencode-local
 check -name gencode-remote