Admin/rsyncd.conf
author haftmann
Tue Sep 27 15:30:37 2005 +0200 (2005-09-27)
changeset 17671 e9e341bc7d42
parent 8391 683838ba11e0
child 17769 3a324f3b34f6
permissions -rw-r--r--
website preparation for Isabelle2005
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@17671
    19
    path = /home/html/isabelle/html-data/dist/
haftmann@17671
    20
    comment = Isabelle distribution area