author | wenzelm |
Sat, 06 Jun 2009 19:58:10 +0200 | |
changeset 31471 | e3987b32e401 |
parent 17769 | 3a324f3b34f6 |
permissions | -rw-r--r-- |
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 |