1# rsync server configuration 2 3uid = nobody 4gid = nobody 5use chroot = yes 6log file = /tmp/rsyncd.log 7read only = true 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 18[isabelle-dist] 19 path = /home/proj/isabelle/website 20 comment = Isabelle website 21 22