Admin/rsyncd
author wenzelm
Tue, 10 Sep 2024 14:53:04 +0200
changeset 80842 4d39ba5f82d6
parent 36859 51af1657263b
permissions -rwxr-xr-x
clarified unbreakable latex output: Pretty.unformatted and (Pretty.string_of o Pretty.unbreakable) should coincide, but are produced by quite different means;

#!/usr/bin/env bash
#
# rsync server start script

/usr/bin/rsync --daemon --config=/home/proj/isabelle/rsyncd.conf