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