From bc754c9576054dec4500aaedd8dae95995ce0410 Mon Sep 17 00:00:00 2001 From: Maximilien Cuony Date: Tue, 21 Apr 2026 16:23:20 +0200 Subject: [PATCH] [tooling] Improve shell-lint to ignore git-ignored files --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index c763d158a..0701ae7f2 100644 --- a/Makefile +++ b/Makefile @@ -92,7 +92,7 @@ hygiene: .PHONY: shell-lint shell-lint: - echo "===== Checking DSS shell lint =====" && find . -name '*.sh' | grep -v '^./interfaces/astm-utm' | grep -v '^./build/workspace' | xargs docker run --rm -v $(CURDIR):/dss -w /dss koalaman/shellcheck + echo "===== Checking DSS shell lint =====" && find . -name '*.sh' | grep -v '^./interfaces/astm-utm' | git check-ignore --stdin --no-index -n -v --non-matching | grep '^::' | cut -f2 | xargs docker run --rm -v $(CURDIR):/dss -w /dss koalaman/shellcheck .PHONY: go-lint go-lint: