c32b5101548c2f6a29de40fcccbaa19401c4ec7e
[distro-setup] / dsremote
1 #!/bin/bash -l
2
3 set -eE -o pipefail
4 trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?" >&2' ERR
5
6 host=$1
7
8 if [[ ! $host || $host == -h ]]; then
9 echo "$0: error: expected 1 arg of hostname"
10 exit 1
11 fi
12
13 rlu $host /a/bin/distro-setup/
14 ssh $host /a/bin/distro-setup/distro-begin
15 ssh $host /a/bin/distro-setup/distro-end