wenzelm@12721: #!/usr/bin/env bash kleing@8346: # kleing@8346: # rsync server start script kleing@8346: wenzelm@28511: /usr/bin/rsync --daemon --config=/home/proj/isabelle/rsyncd.conf kleing@8346: