| changeset 8391 | 683838ba11e0 |
| parent 8346 | 562090b1f128 |
| child 17671 | e9e341bc7d42 |
| 8390:e5b618f6824e | 8391:683838ba11e0 |
|---|---|
4 # $Id$ |
4 # $Id$ |
5 # |
5 # |
6 |
6 |
7 uid = nobody |
7 uid = nobody |
8 gid = nobody |
8 gid = nobody |
9 use chroot = no |
9 use chroot = yes |
10 log file = /usr/proj/isabelle/rsyncd.log |
10 log file = /tmp/rsyncd.log |
11 read only = true |
11 read only = true |
12 |
12 |
13 [isabelle-dist] |
13 [isabelle-dist] |
14 path = /home/html/isabelle/html-data/dist/ |
14 path = /home/html/isabelle/html-data/dist/ |
15 comment = Isabelle distribution area |
15 comment = Isabelle distribution area |