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