Admin/rsyncd.conf
author wenzelm
Fri Oct 12 12:05:46 2001 +0200 (2001-10-12)
changeset 11724 f727aa96ae2e
parent 8391 683838ba11e0
child 17671 e9e341bc7d42
permissions -rw-r--r--
declare impE iffD1 iffD2 as elim of Pure;
     1 #
     2 # rsync server configuration
     3 #
     4 # $Id$
     5 #
     6 
     7 uid = nobody 
     8 gid = nobody 
     9 use chroot = yes
    10 log file = /tmp/rsyncd.log
    11 read only = true
    12 
    13 [isabelle-dist]
    14         path = /home/html/isabelle/html-data/dist/
    15         comment = Isabelle distribution area
    16