File tree Expand file tree Collapse file tree 2 files changed +12
-4
lines changed
Expand file tree Collapse file tree 2 files changed +12
-4
lines changed Original file line number Diff line number Diff line change 1818 run : sudo apt install shellcheck
1919 - name : Lint sources with shellcheck
2020 run : |
21- # Recursively find all shell scripts in the build-scripts directory with a shebang
22- grep -Erl '^(#!/(bin|usr/bin)/(env )?(sh|bash))' build-scripts/ | while read -r file; do
23- shellcheck --external-sources --source-path=build-scripts "$file"
24- done
21+ ./ci/lint.sh
Original file line number Diff line number Diff line change 1+ #! /usr/bin/env bash
2+ shellcheck_dirs () {
3+ grep -Erl ' ^(#!/(bin|usr/bin)/(env )?(sh|bash))' " $1 " | while read -r file; do
4+ shellcheck --external-sources --source-path=build-scripts " $file "
5+ done
6+ }
7+
8+ shellcheck_dirs build-scripts/
9+
10+ # some dirs are "dirty" aka need some work so don't fail on those yet
11+ shellcheck_dirs ci/ packaging/ || true
You can’t perform that action at this time.
0 commit comments