--- a/Admin/mirror-dist Mon Mar 06 12:04:39 2000 +0100
+++ b/Admin/mirror-dist Mon Mar 06 15:24:07 2000 +0100
@@ -12,7 +12,6 @@
mkdir -p $DEST
;;
*.cl.cam.ac.uk)
- USER=paulson
DEST=/anfs/www/html/Research/HVG/Isabelle/dist
;;
*)
@@ -22,4 +21,4 @@
esac
rsync --rsh ssh --rsync-path /usr/local/dist/bin/rsync -va \
- $USER@sunbroy30.informatik.tu-muenchen.de:/home/html/isabelle/html-data/dist/. $DEST/.
+ rsync://sunbroy30.informatik.tu-muenchen.de:8730/isabelle-dist/. $DEST/.
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/rsyncd Mon Mar 06 15:24:07 2000 +0100
@@ -0,0 +1,9 @@
+#!/bin/bash
+#
+# rsync server start script
+#
+# $Id$
+#
+
+rsync --daemon --config=/usr/proj/isabelle/rsyncd.conf --port=8730
+
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/rsyncd.conf Mon Mar 06 15:24:07 2000 +0100
@@ -0,0 +1,16 @@
+#
+# rsync server configuration
+#
+# $Id$
+#
+
+uid = nobody
+gid = nobody
+use chroot = no
+log file = /usr/proj/isabelle/rsyncd.log
+read only = true
+
+[isabelle-dist]
+ path = /home/html/isabelle/html-data/dist/
+ comment = Isabelle distribution area
+