Admin/rsyncd.conf
author wenzelm
Fri Nov 03 19:20:47 2017 +0100 (18 months ago)
changeset 66997 17eb23e43630
parent 17769 3a324f3b34f6
permissions -rw-r--r--
avoid slow IntInf.pow in Poly/ML 5.7.1 testing version, e.g. relevant for AFP/Lorenz_C0;
     1 # rsync server configuration
     2 
     3 uid = nobody 
     4 gid = nobody 
     5 use chroot = yes
     6 log file = /tmp/rsyncd.log
     7 read only = true
     8 
     9 [isabelle-website]
    10     path = /home/proj/isabelle/website
    11     comment = Isabelle website
    12 
    13 [isabelle-distribution]
    14     path = /home/proj/isabelle/website/dist
    15     comment = Isabelle distribution
    16 
    17 # Sydney legacy link
    18 [isabelle-dist]
    19     path = /home/proj/isabelle/website
    20     comment = Isabelle website
    21