kleing@8346: # rsync server configuration
kleing@8346: 
kleing@8346: uid = nobody 
kleing@8346: gid = nobody 
kleing@8391: use chroot = yes
kleing@8391: log file = /tmp/rsyncd.log
kleing@8346: read only = true
kleing@8346: 
haftmann@17671: [isabelle-website]
haftmann@17671:     path = /home/proj/isabelle/website
haftmann@17671:     comment = Isabelle website
haftmann@17671: 
haftmann@17671: [isabelle-distribution]
haftmann@17671:     path = /home/proj/isabelle/website/dist
haftmann@17671:     comment = Isabelle distribution
haftmann@17671: 
haftmann@17671: # Sydney legacy link
kleing@8346: [isabelle-dist]
haftmann@17769:     path = /home/proj/isabelle/website
haftmann@17769:     comment = Isabelle website
haftmann@17769: