Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/rsyncd.conf
author wenzelm
Sat, 02 Jul 2005 13:08:28 +0200
changeset 16671 ca316edcb031
parent 8391 683838ba11e0
child 17671 e9e341bc7d42
permissions -rw-r--r--
Simple report generator for Poly/ML profiling output.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
8346
562090b1f128 switched to mirroring with rsync server
kleing
parents:
diff changeset 
     1
 
#
562090b1f128 switched to mirroring with rsync server
kleing
parents:
diff changeset 
     2
 
# rsync server configuration
562090b1f128 switched to mirroring with rsync server
kleing
parents:
diff changeset 
     3
 
#
562090b1f128 switched to mirroring with rsync server
kleing
parents:
diff changeset 
     4
 
# $Id$
562090b1f128 switched to mirroring with rsync server
kleing
parents:
diff changeset 
     5
 
#
562090b1f128 switched to mirroring with rsync server
kleing
parents:
diff changeset 
     6
 












562090b1f128
switched to mirroring with rsync server



kleing


parents: 

diff
changeset




     7


uid = nobody 













562090b1f128
switched to mirroring with rsync server



kleing


parents: 

diff
changeset




     8


gid = nobody 








8391






683838ba11e0
rsync goes "official" (started at boot time)



kleing


parents: 
8346

diff
changeset




     9


use chroot = yes













683838ba11e0
rsync goes "official" (started at boot time)



kleing


parents: 
8346

diff
changeset




    10


log file = /tmp/rsyncd.log








8346






562090b1f128
switched to mirroring with rsync server



kleing


parents: 

diff
changeset




    11


read only = true













562090b1f128
switched to mirroring with rsync server



kleing


parents: 

diff
changeset




    12














562090b1f128
switched to mirroring with rsync server



kleing


parents: 

diff
changeset




    13


[isabelle-dist]













562090b1f128
switched to mirroring with rsync server



kleing


parents: 

diff
changeset




    14


        path = /home/html/isabelle/html-data/dist/













562090b1f128
switched to mirroring with rsync server



kleing


parents: 

diff
changeset




    15


        comment = Isabelle distribution area













562090b1f128
switched to mirroring with rsync server



kleing


parents: 

diff
changeset




    16
















isabelle