Admin/rsyncd.conf
author blanchet
Fri, 30 Apr 2010 13:58:35 +0200
changeset 36570 9bebcb40599f
parent 17769 3a324f3b34f6
permissions -rw-r--r--
identify axioms/conjectures more reliably in ATP proofs (an empty dependency list doesn't always indicate an axiom or conjecture!)
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
8346
562090b1f128 switched to mirroring with rsync server
kleing
parents:
diff changeset
     1
# rsync server configuration
562090b1f128 switched to mirroring with rsync server
kleing
parents:
diff changeset
     2
562090b1f128 switched to mirroring with rsync server
kleing
parents:
diff changeset
     3
uid = nobody 
562090b1f128 switched to mirroring with rsync server
kleing
parents:
diff changeset
     4
gid = nobody 
8391
683838ba11e0 rsync goes "official" (started at boot time)
kleing
parents: 8346
diff changeset
     5
use chroot = yes
683838ba11e0 rsync goes "official" (started at boot time)
kleing
parents: 8346
diff changeset
     6
log file = /tmp/rsyncd.log
8346
562090b1f128 switched to mirroring with rsync server
kleing
parents:
diff changeset
     7
read only = true
562090b1f128 switched to mirroring with rsync server
kleing
parents:
diff changeset
     8
17671
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 8391
diff changeset
     9
[isabelle-website]
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 8391
diff changeset
    10
    path = /home/proj/isabelle/website
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 8391
diff changeset
    11
    comment = Isabelle website
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 8391
diff changeset
    12
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 8391
diff changeset
    13
[isabelle-distribution]
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 8391
diff changeset
    14
    path = /home/proj/isabelle/website/dist
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 8391
diff changeset
    15
    comment = Isabelle distribution
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 8391
diff changeset
    16
e9e341bc7d42 website preparation for Isabelle2005
haftmann
parents: 8391
diff changeset
    17
# Sydney legacy link
8346
562090b1f128 switched to mirroring with rsync server
kleing
parents:
diff changeset
    18
[isabelle-dist]
17769
3a324f3b34f6 changed sydney share
haftmann
parents: 17671
diff changeset
    19
    path = /home/proj/isabelle/website
3a324f3b34f6 changed sydney share
haftmann
parents: 17671
diff changeset
    20
    comment = Isabelle website
3a324f3b34f6 changed sydney share
haftmann
parents: 17671
diff changeset
    21