2 # Copyright (C) 2016 Ian Kelling
3 # This program is under GPL v. 3 or later, see <http://www.gnu.org/licenses/>
5 # distro setup full. (assuming we already synced data files to the host)
8 trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?" >&2' ERR
11 if [[ $1 == -r ]]; then
18 if [[ ! $host ||
$host == -h ]]; then
19 echo "$0: error: expected 1 arg of hostname"
25 # untested, this caused hang using here doc.
26 ssh $host sudo bash
-c "touch /tmp/keyscript-off; reboot" ||
:
30 while ! ssh $host :; do