From 16b9f7d3e653a0884b4b42f7d46a772836bdf7df Mon Sep 17 00:00:00 2001 From: Maximilien Cuony Date: Mon, 20 Apr 2026 10:00:20 +0200 Subject: [PATCH] [tooling] Ignore git-ignored files in shell-lint --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index b2cfddf4ad..84a8a78909 100644 --- a/Makefile +++ b/Makefile @@ -42,7 +42,7 @@ validate-uss-qualifier-docs: .PHONY: shell-lint shell-lint: - find . -name '*.sh' ! -path "./interfaces/*" | xargs docker run --rm -v "$(CURDIR):/monitoring" -w /monitoring koalaman/shellcheck:v0.11.0 + find . -name '*.sh' ! -path "./interfaces/*" | git check-ignore --stdin --no-index -n -v --non-matching | grep '^::' | cut -f2 | xargs docker run --rm -v "$(CURDIR):/monitoring" -w /monitoring koalaman/shellcheck:v0.11.0 .PHONY: unit-test unit-test: