| author | blanchet |
| Fri, 20 Jul 2012 22:19:46 +0200 | |
| changeset 49421 | b002cc16aa99 |
| 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 |