author | blanchet |
Thu, 19 Apr 2012 11:10:03 +0200 | |
changeset 48449 | d83254265530 |
parent 17769 | 3a324f3b34f6 |
permissions | -rw-r--r-- |
kleing@8346 | 1 |
# rsync server configuration |
kleing@8346 | 2 |
|
kleing@8346 | 3 |
uid = nobody |
kleing@8346 | 4 |
gid = nobody |
kleing@8391 | 5 |
use chroot = yes |
kleing@8391 | 6 |
log file = /tmp/rsyncd.log |
kleing@8346 | 7 |
read only = true |
kleing@8346 | 8 |
|
haftmann@17671 | 9 |
[isabelle-website] |
haftmann@17671 | 10 |
path = /home/proj/isabelle/website |
haftmann@17671 | 11 |
comment = Isabelle website |
haftmann@17671 | 12 |
|
haftmann@17671 | 13 |
[isabelle-distribution] |
haftmann@17671 | 14 |
path = /home/proj/isabelle/website/dist |
haftmann@17671 | 15 |
comment = Isabelle distribution |
haftmann@17671 | 16 |
|
haftmann@17671 | 17 |
# Sydney legacy link |
kleing@8346 | 18 |
[isabelle-dist] |
haftmann@17769 | 19 |
path = /home/proj/isabelle/website |
haftmann@17769 | 20 |
comment = Isabelle website |
haftmann@17769 | 21 |