chore: don't check ignored scripts (#1851)

This commit is contained in:
Jonas L 2022-05-09 13:38:17 +02:00 committed by GitHub
parent 6a65a7f3f1
commit aa22536723
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions

View File

@ -9,11 +9,11 @@ setup:
# https://google.github.io/styleguide/shellguide.html # https://google.github.io/styleguide/shellguide.html
shell-format: 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: shell-check:
shfmt -f . | xargs shfmt -i 2 -ci -sr -kp -d shfmt -f . | xargs git ls-files | xargs shfmt -i 2 -ci -sr -kp -d
shfmt -f . | xargs shellcheck --color=always --severity=$${SEVERITY:-style} shfmt -f . | xargs git ls-files | xargs shellcheck --color=always --severity=$${SEVERITY:-style}
VERSION: VERSION:
tools/version.sh tools/version.sh