Admin/rsyncd
author ballarin
Fri Aug 01 18:10:52 2008 +0200 (2008-08-01)
changeset 27717 21bbd410ba04
parent 26371 8e4286e2bffe
child 28511 e79fad5c16a6
permissions -rwxr-xr-x
Generalised polynomial lemmas from cring to ring.
     1 #!/usr/bin/env bash
     2 #
     3 # rsync server start script
     4 #
     5 # $Id$
     6 #
     7 
     8 rsync --daemon --config=/home/isabelle/rsyncd.conf --port=8730
     9