Admin/rsyncd.conf
changeset 17671 e9e341bc7d42
parent 8391 683838ba11e0
child 17769 3a324f3b34f6
equal deleted inserted replaced
17670:bf4f2c1b26cc 17671:e9e341bc7d42
     1 #
       
     2 # rsync server configuration
     1 # rsync server configuration
     3 #
       
     4 # $Id$
       
     5 #
       
     6 
     2 
     7 uid = nobody 
     3 uid = nobody 
     8 gid = nobody 
     4 gid = nobody 
     9 use chroot = yes
     5 use chroot = yes
    10 log file = /tmp/rsyncd.log
     6 log file = /tmp/rsyncd.log
    11 read only = true
     7 read only = true
    12 
     8 
       
     9 [isabelle-website]
       
    10     path = /home/proj/isabelle/website
       
    11     comment = Isabelle website
       
    12 
       
    13 [isabelle-distribution]
       
    14     path = /home/proj/isabelle/website/dist
       
    15     comment = Isabelle distribution
       
    16 
       
    17 # Sydney legacy link
    13 [isabelle-dist]
    18 [isabelle-dist]
    14         path = /home/html/isabelle/html-data/dist/
    19     path = /home/html/isabelle/html-data/dist/
    15         comment = Isabelle distribution area
    20     comment = Isabelle distribution area
    16