| author | wenzelm |
| Mon, 11 Nov 2013 17:34:44 +0100 | |
| changeset 55756 | 9d3c7a04a65e |
| 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 |