diff options
author | Ava Chow <github@achow101.com> | 2024-05-01 18:00:54 -0400 |
---|---|---|
committer | Ava Chow <github@achow101.com> | 2024-05-01 18:04:35 -0400 |
commit | 3a2031380d55217eb19871f9e954131837ec205c (patch) | |
tree | cc72166c319d7a1b86d9d24db042046c87d0d146 /scripts | |
parent | 3bd457c595a9a24ce9fedb38f0df2df659eb9974 (diff) |
ci: Run link format check on all mediawiki documents
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/link-format-chk.sh | 16 |
1 files changed, 7 insertions, 9 deletions
diff --git a/scripts/link-format-chk.sh b/scripts/link-format-chk.sh index e3f0f6d..9493765 100755 --- a/scripts/link-format-chk.sh +++ b/scripts/link-format-chk.sh @@ -8,16 +8,14 @@ ECODE=0 FILES="" -for fname in $(git diff --name-only HEAD $(git merge-base HEAD master)); do - if [[ $fname == *.mediawiki ]]; then - GRES=$(grep -n '](http' $fname) - if [ "$GRES" != "" ]; then - if [ $ECODE -eq 0 ]; then - >&2 echo "Github Mediawiki format writes link as [URL text], not as [text](url):" - fi - ECODE=1 - echo "- $fname:$GRES" +for fname in *.mediawiki; do + GRES=$(grep -n '](http' $fname) + if [ "$GRES" != "" ]; then + if [ $ECODE -eq 0 ]; then + >&2 echo "Github Mediawiki format writes link as [URL text], not as [text](url):" fi + ECODE=1 + echo "- $fname:$GRES" fi done exit $ECODE |