author | paulson |
Wed, 08 May 2002 10:14:35 +0200 | |
changeset 13120 | d1fea11b2fb6 |
parent 13100 | ff00791319e2 |
child 13567 | 7f5bf04095bd |
permissions | -rwxr-xr-x |
12721 | 1 |
#!/usr/bin/env bash |
8222 | 2 |
# |
3 |
# $Id$ |
|
4 |
# |
|
5 |
||
8321 | 6 |
HOST=$(hostname) |
7 |
||
8 |
case ${HOST} in |
|
9286 | 9 |
sunbroy51) |
8222 | 10 |
DEST=/home/html/isabelle/html-data |
11 |
;; |
|
8225 | 12 |
*.cl.cam.ac.uk) |
13 |
USER=paulson |
|
14 |
DEST=/anfs/www/html/Research/HVG/Isabelle |
|
8222 | 15 |
;; |
16 |
*) |
|
8321 | 17 |
echo "Unknown destination directory for ${HOST}" |
8222 | 18 |
exit 2 |
19 |
;; |
|
20 |
esac |
|
21 |
||
22 |
rsync --rsh ssh --rsync-path /usr/local/dist/bin/rsync -va \ |
|
13100
ff00791319e2
physical location of isabelle repository is now sunbroy2
kleing
parents:
12721
diff
changeset
|
23 |
$USER@sunbroy2.informatik.tu-muenchen.de:/usr/proj/isabelle-repository/www/. $DEST/. |