author | Walther Neuper <wneuper@ist.tugraz.at> |
Tue, 07 Feb 2017 08:57:42 +0100 | |
changeset 59316 | 3a60188d9cc3 |
parent 59180 | 85ec71012df8 |
permissions | -rw-r--r-- |
1 # rsync server configuration
3 uid = nobody
4 gid = nobody
5 use chroot = yes
6 log file = /tmp/rsyncd.log
7 read only = true
9 [isabelle-website]
10 path = /home/proj/isabelle/website
11 comment = Isabelle website
13 [isabelle-distribution]
14 path = /home/proj/isabelle/website/dist
15 comment = Isabelle distribution
17 # Sydney legacy link
18 [isabelle-dist]
19 path = /home/proj/isabelle/website
20 comment = Isabelle website