1.1 --- a/Admin/mirror-dist Mon Mar 06 12:04:39 2000 +0100
1.2 +++ b/Admin/mirror-dist Mon Mar 06 15:24:07 2000 +0100
1.3 @@ -12,7 +12,6 @@
1.4 mkdir -p $DEST
1.5 ;;
1.6 *.cl.cam.ac.uk)
1.7 - USER=paulson
1.8 DEST=/anfs/www/html/Research/HVG/Isabelle/dist
1.9 ;;
1.10 *)
1.11 @@ -22,4 +21,4 @@
1.12 esac
1.13
1.14 rsync --rsh ssh --rsync-path /usr/local/dist/bin/rsync -va \
1.15 - $USER@sunbroy30.informatik.tu-muenchen.de:/home/html/isabelle/html-data/dist/. $DEST/.
1.16 + rsync://sunbroy30.informatik.tu-muenchen.de:8730/isabelle-dist/. $DEST/.
2.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
2.2 +++ b/Admin/rsyncd Mon Mar 06 15:24:07 2000 +0100
2.3 @@ -0,0 +1,9 @@
2.4 +#!/bin/bash
2.5 +#
2.6 +# rsync server start script
2.7 +#
2.8 +# $Id$
2.9 +#
2.10 +
2.11 +rsync --daemon --config=/usr/proj/isabelle/rsyncd.conf --port=8730
2.12 +
3.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
3.2 +++ b/Admin/rsyncd.conf Mon Mar 06 15:24:07 2000 +0100
3.3 @@ -0,0 +1,16 @@
3.4 +#
3.5 +# rsync server configuration
3.6 +#
3.7 +# $Id$
3.8 +#
3.9 +
3.10 +uid = nobody
3.11 +gid = nobody
3.12 +use chroot = no
3.13 +log file = /usr/proj/isabelle/rsyncd.log
3.14 +read only = true
3.15 +
3.16 +[isabelle-dist]
3.17 + path = /home/html/isabelle/html-data/dist/
3.18 + comment = Isabelle distribution area
3.19 +