diff options
Diffstat (limited to 'gen-data/remote_generate')
| -rwxr-xr-x | gen-data/remote_generate | 14 |
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" |
