| author | blanchet |
| Thu, 28 Jul 2011 11:43:45 +0200 | |
| changeset 44868 | 578460971517 |
| 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 |