isabelle: Admin/rsyncd.conf@c98c6eb3dd4c (annotated)

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

author	wenzelm
	Tue, 16 Jan 2018 11:30:03 +0100
changeset 67447	c98c6eb3dd4c
parent 17769	3a324f3b34f6
permissions	-rw-r--r--