Admin/rsyncd
author wenzelm
Sat May 14 19:49:10 2016 +0200 (2016-05-14 ago)
changeset 63094 056ea294c256
parent 36859 51af1657263b
permissions -rwxr-xr-x
toplevel theorem statements support 'if'/'for' eigen-context;
     1 #!/usr/bin/env bash
     2 #
     3 # rsync server start script
     4 
     5 /usr/bin/rsync --daemon --config=/home/proj/isabelle/rsyncd.conf
     6