1
#
2
# rsync server configuration
3
4
# $Id$
5
6
7
uid = nobody
8
gid = nobody
9
use chroot = yes
10
log file = /tmp/rsyncd.log
11
read only = true
12
13
[isabelle-dist]
14
path = /home/html/isabelle/html-data/dist/
15
comment = Isabelle distribution area
16