Admin/rsyncd.conf
author huffman
Tue Jul 12 18:26:44 2005 +0200 (2005-07-12)
changeset 16777 555c8951f05c
parent 8391 683838ba11e0
child 17671 e9e341bc7d42
permissions -rw-r--r--
added lemmas sfst_defined_iff, ssnd_defined_iff, sfst_defined, ssnd_defined
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