Admin/rsyncd.conf
changeset 8346 562090b1f128
child 8391 683838ba11e0
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/Admin/rsyncd.conf	Mon Mar 06 15:24:07 2000 +0100
     1.3 @@ -0,0 +1,16 @@
     1.4 +#
     1.5 +# rsync server configuration
     1.6 +#
     1.7 +# $Id$
     1.8 +#
     1.9 +
    1.10 +uid = nobody 
    1.11 +gid = nobody 
    1.12 +use chroot = no 
    1.13 +log file = /usr/proj/isabelle/rsyncd.log
    1.14 +read only = true
    1.15 +
    1.16 +[isabelle-dist]
    1.17 +        path = /home/html/isabelle/html-data/dist/
    1.18 +        comment = Isabelle distribution area
    1.19 +