| changeset 8346 | 562090b1f128 |
| child 8391 | 683838ba11e0 |
| 8345:e708af969264 | 8346:562090b1f128 |
|---|---|
1 # |
|
2 # rsync server configuration |
|
3 # |
|
4 # $Id$ |
|
5 # |
|
6 |
|
7 uid = nobody |
|
8 gid = nobody |
|
9 use chroot = no |
|
10 log file = /usr/proj/isabelle/rsyncd.log |
|
11 read only = true |
|
12 |
|
13 [isabelle-dist] |
|
14 path = /home/html/isabelle/html-data/dist/ |
|
15 comment = Isabelle distribution area |
|
16 |