Admin/rsyncd
author wenzelm
Thu, 03 Oct 2013 17:03:20 +0200
changeset 55192 65c6a00ff86b
parent 36866 51af1657263b
permissions -rwxr-xr-x
Added tag Isabelle2013-1-RC1 for changeset c37100233af7
     1 #!/usr/bin/env bash
     2 #
     3 # rsync server start script
     4 
     5 /usr/bin/rsync --daemon --config=/home/proj/isabelle/rsyncd.conf
     6