| author | blanchet |
| Mon, 23 Jul 2012 15:32:30 +0200 | |
| changeset 49449 | aaaec69db3db |
| 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 |