gen-data: remote_generate added

Allow automatized generating of data structures on remote host.
Run like ./remote_generate IP_ADDRESS.

* gen-data/dist/dist: New file.  Wrapper around tar to package
important files for data generation.
* gen-data/dist/dist.list: Include list for ^.
* gen-data/dist/dist.exclude: Exclude list for ^.
* gen-data/prep: Remote script to prepare everything for
successful ./generate run.
* gen-data/remote_generate: Wrapper running all the above.

1 files changed, 14 insertions, 0 deletions

diff --git a/gen-data/remote_generate b/gen-data/remote_generate
new file mode 100755
index 0000000..a2ec172
--- /dev/null
+++ b/gen-data/remote_generate
@@ -0,0 +1,14 @@
+#!/bin/bash -x
+
+where="root@$1"
+
+./dist/dist
+tar tf dist/dist.tar.gz
+
+ssh_opts="-o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null"
+ssh="ssh $ssh_opts"
+scp="scp $ssh_opts"
+
+$scp dist/dist.tar.gz "$where:/root"
+
+$ssh "$where" "cd /root ; tar -xf dist.tar.gz ; ./prep && ./generate"