chiark / gitweb /
hostside: fetch-dump: new convenience script
[trains.git] / hostside / fetch-dump
1 #!/bin/bash
2 usage () { echo >&2 "usage: \
3 ./fetch-dump @2011-01-09 00:36:35 GMT info save-dump +dump.2011-01-09T00-36-35+0000"; exit 1; }
4
5 set -e
6 src=bessar:/bessar/bessar/playground
7
8 for x in "$@"; do
9         case "$x" in
10         +dump.*)
11                 exec rsync -vP $src/"$x"/\* .
12                 exit 0
13                 ;;
14         esac
15 done
16
17 usage