Admin/rsyncd.conf
author wenzelm
Sat Dec 16 12:28:46 2017 +0100 (19 months ago)
changeset 67210 f80bdbe76934
parent 17769 3a324f3b34f6
permissions -rw-r--r--
tuned;
kleing@8346
     1
# rsync server configuration
kleing@8346
     2
kleing@8346
     3
uid = nobody 
kleing@8346
     4
gid = nobody 
kleing@8391
     5
use chroot = yes
kleing@8391
     6
log file = /tmp/rsyncd.log
kleing@8346
     7
read only = true
kleing@8346
     8
haftmann@17671
     9
[isabelle-website]
haftmann@17671
    10
    path = /home/proj/isabelle/website
haftmann@17671
    11
    comment = Isabelle website
haftmann@17671
    12
haftmann@17671
    13
[isabelle-distribution]
haftmann@17671
    14
    path = /home/proj/isabelle/website/dist
haftmann@17671
    15
    comment = Isabelle distribution
haftmann@17671
    16
haftmann@17671
    17
# Sydney legacy link
kleing@8346
    18
[isabelle-dist]
haftmann@17769
    19
    path = /home/proj/isabelle/website
haftmann@17769
    20
    comment = Isabelle website
haftmann@17769
    21