Admin/mirror-website
author Cezary Kaliszyk <kaliszyk@in.tum.de>
Fri Oct 15 21:46:45 2010 +0900 (2010-10-15)
changeset 39994 7bd8013b903f
parent 36859 51af1657263b
permissions -rwxr-xr-x
FSet: give names to respectfulness theorems, rename list_all2_refl to avoid clash
haftmann@17671
     1
#!/usr/bin/env bash
haftmann@17671
     2
#
haftmann@17671
     3
# mirrors the Isabelle website
haftmann@17671
     4
haftmann@17671
     5
HOST=$(hostname)
haftmann@17671
     6
haftmann@17671
     7
case ${HOST} in
wenzelm@27594
     8
  sunbroy* | atbroy* | macbroy*)
haftmann@17671
     9
    DEST=/home/html/isabelle/html-data
haftmann@17671
    10
    ;;
haftmann@17671
    11
  *.cl.cam.ac.uk)
haftmann@17671
    12
    USER=paulson
paulson@31086
    13
    DEST=/anfs/www/html/research/hvg/Isabelle
haftmann@17671
    14
    ;;
haftmann@17671
    15
  *)
haftmann@17671
    16
    echo "Unknown destination directory for ${HOST}"
haftmann@17671
    17
    exit 2
haftmann@17671
    18
    ;;
haftmann@17671
    19
esac
haftmann@17671
    20
haftmann@25463
    21
exec $(dirname $0)/isasync $DEST