Admin/linktest
author haftmann
Tue, 27 Sep 2005 16:52:24 +0200
changeset 17674 b1aedbc9125a
parent 17673 b61966d74ff1
child 17750 a0745bc36660
permissions -rwxr-xr-x
improved linkcheck

#!/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 --convert-links --page-requisites \
   --delete-after \
  "$url" \
  2>&1 | "$GREP" -i -B1 "ERROR"
cd "$dir"
rm -rf /tmp/isa_linktest