| author | wenzelm |
| Thu, 28 Aug 2008 00:33:04 +0200 | |
| changeset 28030 | 8b197e2bc66a |
| parent 17750 | a0745bc36660 |
| child 36866 | 51af1657263b |
| permissions | -rwxr-xr-x |
1 #!/usr/bin/env bash
2 #
3 # $Id$
4 #
5 # leightweight link checker for the isabelle website
8 PRG=`basename "$0"`
10 usage()
11 {
12 echo
13 echo "Usage: $PRG URL"
14 echo
15 exit 1
16 }
18 fail()
19 {
20 echo "$1" >&2
21 exit 2
22 }
24 url="$1"
25 if [ -z "$url" ]
26 then
27 usage;
28 fi
30 type -p ggrep > /dev/zero && GREP=ggrep || GREP=grep
32 mkdir -p /tmp/isa_linktest
33 dir=$(pwd)
34 cd /tmp/isa_linktest
35 exec wget --non-verbose --cookies=off --recursive --reject='GraphBrowser.class' --convert-links --page-requisites \
36 --delete-after \
37 "$url" \
38 2>&1 | tee /tmp/isa_linktest.report | "$GREP" -i -B1 "ERROR"
39 cd "$dir"
40 rm -rf /tmp/isa_linktest