Admin/rsyncd
author wenzelm
Tue, 19 Aug 2014 16:46:07 +0200
changeset 58007 671c607fb4af
parent 36859 51af1657263b
permissions -rwxr-xr-x
just one context for Method.evaluate (in contrast to a989bdaf8121, but in accordance to old global situation);

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

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