author | wenzelm |
Wed, 09 Feb 2000 14:03:29 +0100 | |
changeset 8222 | 55fed562d8ed |
child 8225 | fc5db20d7f6f |
permissions | -rwxr-xr-x |
#!/bin/bash # # $Id$ # case $(hostname) in sunbroy30) DEST=/home/html/isabelle/html-data ;; foobar) DEST=/foo/bar ;; *) echo "Unknown destination directory!" exit 2 ;; esac rsync --rsh ssh --rsync-path /usr/local/dist/bin/rsync -va \ sunbroy1.informatik.tu-muenchen.de:/usr/proj/isabelle-repository/www/. $DEST/.