summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorAva Chow <github@achow101.com>2024-05-01 18:00:54 -0400
committerAva Chow <github@achow101.com>2024-05-01 18:04:35 -0400
commit3a2031380d55217eb19871f9e954131837ec205c (patch)
treecc72166c319d7a1b86d9d24db042046c87d0d146 /scripts
parent3bd457c595a9a24ce9fedb38f0df2df659eb9974 (diff)
ci: Run link format check on all mediawiki documents
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/link-format-chk.sh16
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