Admin/linktest
author haftmann
Wed, 15 Jul 2009 10:11:13 +0200
changeset 32073 0a83608e21f1
parent 17750 a0745bc36660
child 36859 51af1657263b
permissions -rwxr-xr-x
additional preprocessor rule

#!/usr/bin/env bash
#
# $Id$
#
# leightweight link checker for the isabelle website


PRG=`basename "$0"`

usage()
{
  echo
  echo "Usage: $PRG URL"
  echo
  exit 1
}

fail()
{
  echo "$1" >&2
  exit 2
}

url="$1"
if [ -z "$url" ]
then
  usage;
fi

type -p ggrep > /dev/zero && GREP=ggrep || GREP=grep

mkdir -p /tmp/isa_linktest
dir=$(pwd)
cd /tmp/isa_linktest
exec wget --non-verbose --cookies=off --recursive --reject='GraphBrowser.class' --convert-links --page-requisites \
   --delete-after \
  "$url" \
  2>&1 | tee /tmp/isa_linktest.report | "$GREP" -i -B1 "ERROR"
cd "$dir"
rm -rf /tmp/isa_linktest