| author | Walther Neuper <neuper@ist.tugraz.at> |
| Wed, 08 Sep 2010 12:25:58 +0200 | |
| branch | isac-update-Isa09-2 |
| changeset 37987 | bf83d30839c7 |
| parent 36866 | 51af1657263b |
| permissions | -rwxr-xr-x |
1 #!/usr/bin/env bash
2 #
3 # mirrors the Isabelle website
5 HOST=$(hostname)
7 case ${HOST} in
8 sunbroy* | atbroy* | macbroy*)
9 DEST=/home/html/isabelle/html-data
10 ;;
11 *.cl.cam.ac.uk)
12 USER=paulson
13 DEST=/anfs/www/html/research/hvg/Isabelle
14 ;;
15 *)
16 echo "Unknown destination directory for ${HOST}"
17 exit 2
18 ;;
19 esac
21 exec $(dirname $0)/isasync $DEST