Admin/rsyncd
author wenzelm
Sun, 12 Nov 2017 19:47:18 +0100
changeset 67060 9ad7bf553ee1
parent 36859 51af1657263b
permissions -rwxr-xr-x
tuned signature (again, see 1a9e2a2bf251);

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

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