Admin/rsyncd.conf
author berghofe
Tue, 25 Mar 2003 09:47:05 +0100
changeset 13876 68f4ed8311ac
parent 8391 683838ba11e0
child 17671 e9e341bc7d42
permissions -rw-r--r--
New decision procedure for Presburger arithmetic.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
8346
562090b1f128 switched to mirroring with rsync server
kleing
parents:
diff changeset
     1
#
562090b1f128 switched to mirroring with rsync server
kleing
parents:
diff changeset
     2
# rsync server configuration
562090b1f128 switched to mirroring with rsync server
kleing
parents:
diff changeset
     3
#
562090b1f128 switched to mirroring with rsync server
kleing
parents:
diff changeset
     4
# $Id$
562090b1f128 switched to mirroring with rsync server
kleing
parents:
diff changeset
     5
#
562090b1f128 switched to mirroring with rsync server
kleing
parents:
diff changeset
     6
562090b1f128 switched to mirroring with rsync server
kleing
parents:
diff changeset
     7
uid = nobody 
562090b1f128 switched to mirroring with rsync server
kleing
parents:
diff changeset
     8
gid = nobody 
8391
683838ba11e0 rsync goes "official" (started at boot time)
kleing
parents: 8346
diff changeset
     9
use chroot = yes
683838ba11e0 rsync goes "official" (started at boot time)
kleing
parents: 8346
diff changeset
    10
log file = /tmp/rsyncd.log
8346
562090b1f128 switched to mirroring with rsync server
kleing
parents:
diff changeset
    11
read only = true
562090b1f128 switched to mirroring with rsync server
kleing
parents:
diff changeset
    12
562090b1f128 switched to mirroring with rsync server
kleing
parents:
diff changeset
    13
[isabelle-dist]
562090b1f128 switched to mirroring with rsync server
kleing
parents:
diff changeset
    14
        path = /home/html/isabelle/html-data/dist/
562090b1f128 switched to mirroring with rsync server
kleing
parents:
diff changeset
    15
        comment = Isabelle distribution area
562090b1f128 switched to mirroring with rsync server
kleing
parents:
diff changeset
    16