Admin/rsyncd.conf
author wenzelm
Fri Oct 12 12:08:04 2001 +0200 (2001-10-12)
changeset 11729 a7da2e8b5762
parent 8391 683838ba11e0
child 17671 e9e341bc7d42
permissions -rw-r--r--
removed read_inst', no longer export insts';
kleing@8346
     1
#
kleing@8346
     2
# rsync server configuration
kleing@8346
     3
#
kleing@8346
     4
# $Id$
kleing@8346
     5
#
kleing@8346
     6
kleing@8346
     7
uid = nobody 
kleing@8346
     8
gid = nobody 
kleing@8391
     9
use chroot = yes
kleing@8391
    10
log file = /tmp/rsyncd.log
kleing@8346
    11
read only = true
kleing@8346
    12
kleing@8346
    13
[isabelle-dist]
kleing@8346
    14
        path = /home/html/isabelle/html-data/dist/
kleing@8346
    15
        comment = Isabelle distribution area
kleing@8346
    16