equal
deleted
inserted
replaced
1 # |
|
2 # rsync server configuration |
1 # rsync server configuration |
3 # |
|
4 # $Id$ |
|
5 # |
|
6 |
2 |
7 uid = nobody |
3 uid = nobody |
8 gid = nobody |
4 gid = nobody |
9 use chroot = yes |
5 use chroot = yes |
10 log file = /tmp/rsyncd.log |
6 log file = /tmp/rsyncd.log |
11 read only = true |
7 read only = true |
12 |
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 |
13 [isabelle-dist] |
18 [isabelle-dist] |
14 path = /home/html/isabelle/html-data/dist/ |
19 path = /home/html/isabelle/html-data/dist/ |
15 comment = Isabelle distribution area |
20 comment = Isabelle distribution area |
16 |
|