chiark / gitweb /
hostside: fetch-dump: new convenience script
authorIan Jackson <ian@liberator.relativity.greenend.org.uk>
Sun, 9 Jan 2011 01:11:04 +0000 (01:11 +0000)
committerIan Jackson <ian@liberator.relativity.greenend.org.uk>
Sun, 9 Jan 2011 01:11:04 +0000 (01:11 +0000)
hostside/fetch-dump [new file with mode: 0755]

diff --git a/hostside/fetch-dump b/hostside/fetch-dump
new file mode 100755 (executable)
index 0000000..655f0a0
--- /dev/null
@@ -0,0 +1,17 @@
+#!/bin/bash
+usage () { echo >&2 "usage: \
+./fetch-dump @2011-01-09 00:36:35 GMT info save-dump +dump.2011-01-09T00-36-35+0000"; exit 1; }
+
+set -e
+src=bessar:/bessar/bessar/playground
+
+for x in "$@"; do
+       case "$x" in
+       +dump.*)
+               exec rsync -vP $src/"$x"/\* .
+               exit 0
+               ;;
+       esac
+done
+
+usage