| changeset 13100 | ff00791319e2 |
| parent 12721 | 226fc0e2e7e3 |
| child 13567 | 7f5bf04095bd |
| 13099:4bb592cdde0e | 13100:ff00791319e2 |
|---|---|
18 exit 2 |
18 exit 2 |
19 ;; |
19 ;; |
20 esac |
20 esac |
21 |
21 |
22 rsync --rsh ssh --rsync-path /usr/local/dist/bin/rsync -va \ |
22 rsync --rsh ssh --rsync-path /usr/local/dist/bin/rsync -va \ |
23 $USER@sunbroy1.informatik.tu-muenchen.de:/usr/proj/isabelle-repository/www/. $DEST/. |
23 $USER@sunbroy2.informatik.tu-muenchen.de:/usr/proj/isabelle-repository/www/. $DEST/. |