Admin/rsyncd
author wenzelm
Fri Oct 12 12:05:46 2001 +0200 (2001-10-12)
changeset 11724 f727aa96ae2e
parent 8346 562090b1f128
child 12721 226fc0e2e7e3
permissions -rwxr-xr-x
declare impE iffD1 iffD2 as elim of Pure;
     1 #!/bin/bash
     2 #
     3 # rsync server start script
     4 #
     5 # $Id$
     6 #
     7 
     8 rsync --daemon --config=/usr/proj/isabelle/rsyncd.conf --port=8730
     9