Admin/rsyncd
author haftmann
Wed, 14 Mar 2012 15:54:54 +0100
changeset 46933 3b02b0ef8d48
parent 36859 51af1657263b
permissions -rwxr-xr-x
doc-src build option (for emerging mira configuration)

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

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