# HG changeset patch # User Sebastien Jodogne # Date 1593761965 -7200 # Node ID 235a5541e06ed677638fcc7db03c9a856ff4a3ea # Parent 2922fb1bd65eb0c3e0fe9e53fc3c8e9ad8b481e4 CheckMercurialLinks.sh diff -r 2922fb1bd65e -r 235a5541e06e Sphinx/source/CheckMercurialLinks.sh --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Sphinx/source/CheckMercurialLinks.sh Fri Jul 03 09:39:25 2020 +0200 @@ -0,0 +1,14 @@ +#!/bin/bash + +grep -r '' -f 1 | sort | uniq | while read url +do + echo "${url}" + curl -s "${url}" > /dev/null + if [ $? -ne 0 ] + then + echo "ERROR!!!" + exit -1 + fi +done + +echo "SUCCESS"