Skip to content

Commit

Permalink
meta: Make the link-liveness script more local-run friendly
Browse files Browse the repository at this point in the history
  • Loading branch information
robinlinden committed Nov 17, 2024
1 parent a4657cf commit 84d9431
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/scripts/check_url_liveness
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
#!/usr/bin/env bash

grep --recursive --no-filename --only-matching --exclude-dir="*corpus" --exclude-dir=.github --exclude=WORKSPACE --exclude=*test.cpp --exclude=ci.yaml 'https://[^)(}{",# ]*' | grep -v '^https://$' | sort | uniq | xargs wget --spider --no-verbose
grep --recursive --no-filename --only-matching --exclude-dir="*corpus" --exclude-dir=.github --exclude-dir="bazel-*" --exclude-dir=.cache --exclude-dir=external --exclude=WORKSPACE --exclude=*test.cpp --exclude=ci.yaml --exclude="*.bazel.lock" 'https://[^)(}{",# ]*' | grep -v '^https://$' | sort | uniq | xargs wget --spider --no-verbose

0 comments on commit 84d9431

Please sign in to comment.