Admin/rsyncd
author wenzelm
Mon, 19 Mar 2012 14:59:31 +0100
changeset 47012 0e246130486b
parent 36859 51af1657263b
permissions -rwxr-xr-x
clarified command span classification: strict Command.is_command, permissive Command.name;

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

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