From aa2253672311b1f9af508773c6b24da0d299a937 Mon Sep 17 00:00:00 2001 From: Jonas L Date: Mon, 9 May 2022 13:38:17 +0200 Subject: [PATCH] chore: don't check ignored scripts (#1851) --- Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index ded3d8e00..47940382c 100644 --- a/Makefile +++ b/Makefile @@ -9,11 +9,11 @@ setup: # https://google.github.io/styleguide/shellguide.html shell-format: - shfmt -f . | xargs shfmt -i 2 -ci -sr -kp -w + shfmt -f . | xargs git ls-files | xargs shfmt -i 2 -ci -sr -kp -w shell-check: - shfmt -f . | xargs shfmt -i 2 -ci -sr -kp -d - shfmt -f . | xargs shellcheck --color=always --severity=$${SEVERITY:-style} + shfmt -f . | xargs git ls-files | xargs shfmt -i 2 -ci -sr -kp -d + shfmt -f . | xargs git ls-files | xargs shellcheck --color=always --severity=$${SEVERITY:-style} VERSION: tools/version.sh