| author | blanchet |
| Thu, 26 Jul 2012 11:08:16 +0200 | |
| changeset 49549 | 2307efbfc554 |
| 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 |