author | Walther Neuper <neuper@ist.tugraz.at> |
Tue, 28 Sep 2010 09:06:56 +0200 | |
branch | isac-update-Isa09-2 |
changeset 38031 | 460c24a6a6ba |
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