Skip to content

Commit

Permalink
shellcheck: make sure .envrc is checked
Browse files Browse the repository at this point in the history
  • Loading branch information
chrisirhc committed Mar 26, 2024
1 parent 084fb23 commit 988f1c4
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion tools/check
Original file line number Diff line number Diff line change
Expand Up @@ -291,7 +291,7 @@ run_icons() {

run_shellcheck() {
# Omitted from this check: nothing (nothing known, anyway).
files_check tools/ '!*.'{dart,js,json} \
files_check tools/ '!*.'{dart,js,json} .envrc \
|| return 0

# Shellcheck is fast, <1s; so if we touched any possible targets at all,
Expand All @@ -300,6 +300,7 @@ run_shellcheck() {
targets=(
$(git grep -l '#!.*sh\b' -- tools/)
$(git ls-files -- tools/'*.sh')
.envrc
)

if ! type shellcheck >/dev/null 2>&1; then
Expand Down

0 comments on commit 988f1c4

Please sign in to comment.