| author | wenzelm |
| Wed, 23 May 2012 11:53:17 +0200 | |
| changeset 48901 | 7d30534e545b |
| parent 36866 | 51af1657263b |
| permissions | -rwxr-xr-x |
| wenzelm@12721 | 1 |
#!/usr/bin/env bash |
| kleing@8346 | 2 |
# |
| kleing@8346 | 3 |
# rsync server start script |
| kleing@8346 | 4 |
|
| wenzelm@28511 | 5 |
/usr/bin/rsync --daemon --config=/home/proj/isabelle/rsyncd.conf |
| kleing@8346 | 6 |