File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 2121 - name : Install shellcheck
2222 run : sudo apt-get update && sudo apt-get install -y shellcheck
2323 - name : Run shellcheck
24- run : |
25- git grep -l '^#\( *shellcheck \|!\(/bin/\|/usr/bin/env \)\(sh\|bash\|dash\|ksh\)\)' -- ':!*.py' \
26- | xargs shellcheck
24+ run : scripts/dev-shellcheck.sh
Original file line number Diff line number Diff line change @@ -13,11 +13,6 @@ echo "Execute arguments type check..."
1313uv run python scripts/lint_arguments_sync.py
1414
1515echo " Execute shellcheck..."
16- if ! command -v shellcheck > /dev/null 2>&1 ; then
17- echo " shellcheck is not installed, see docs/contributing.md for instructions." >&2
18- exit 1
19- fi
20- git grep -l ' ^#\( *shellcheck \|!\(/bin/\|/usr/bin/env \)\(sh\|bash\|dash\|ksh\)\)' -- ' :!*.py' \
21- | xargs shellcheck
16+ scripts/dev-shellcheck.sh
2217
2318echo " Linting complete!"
Original file line number Diff line number Diff line change 1+ #! /usr/bin/env bash
2+
3+ set -euo pipefail
4+
5+ if ! command -v shellcheck > /dev/null 2>&1 ; then
6+ echo " shellcheck is not installed, see docs/contributing.md for instructions." >&2
7+ exit 1
8+ fi
9+
10+ git grep -l ' ^#\( *shellcheck \|!\(/bin/\|/usr/bin/env \)\(sh\|bash\|dash\|ksh\)\)' -- ' :!*.py' \
11+ | xargs shellcheck
You can’t perform that action at this time.
0 commit comments