8346
|
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 |
|