summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorKarl-Johan Alm <karljohan-alm@garage.co.jp>2019-08-01 18:06:58 +0900
committerKarl-Johan Alm <karljohan-alm@garage.co.jp>2019-08-06 16:46:20 +0900
commit6129830a330c9c53a918c671dce24a49b3921396 (patch)
tree530fb2a41ace2abe72bdcc7d73069b88ab53e428 /scripts
parenta2645cdc421d13842f4ea180338264942330abff (diff)
downloadbips-6129830a330c9c53a918c671dce24a49b3921396.tar.xz
travis: add a check for common mistake mediawiki links
Several BIPs have mistaken links in format [text](url) which this travis check will detect and complain about.
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/link-format-chk.sh23
1 files changed, 23 insertions, 0 deletions
diff --git a/scripts/link-format-chk.sh b/scripts/link-format-chk.sh
new file mode 100755
index 0000000..86f28be
--- /dev/null
+++ b/scripts/link-format-chk.sh
@@ -0,0 +1,23 @@
+#!/usr/bin/env bash
+#
+# Copyright (c) 2019 The Bitcoin Core developers
+# Distributed under the MIT software license, see the accompanying
+# file COPYING or http://www.opensource.org/licenses/mit-license.php.
+#
+# Check wrong mediawiki link format
+
+ECODE=0
+FILES=""
+for fname in $(git diff --name-only HEAD $(git merge-base HEAD master)); do
+ if [[ $fname == *.mediawiki ]]; then
+ GRES=$(grep -n '](' $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
+ fi
+done
+exit $ECODE