#!/bin/bash

# goto root dir (this script resides in src)
BASEDIR=`dirname $(readlink -f $0)`
cd ${BASEDIR}/../

#ALLHOSTS=`cat ~/.ssh/config | egrep "^Host" | egrep -v "nohome|noshell|localnet|offline" | sed 's/^Host //' | sed 's/ #.*//' | tr '\n' ' ' | sed 's/ $//' `
ALLHOSTS=`cat ~/.ssh/config | egrep "^Host" | egrep -v "nohome|noshell|noconfig|localnet|offline|\!|\*|\+" | sed 's/^Host \([^ ]*\).*/\1/'`
HOSTS=${HOSTS:-$ALLHOSTS}

echo "loaded keys:"
ssh-add -l

echo "updated hosts:"
echo $HOSTS

echo "waiting 10 seconds"
sleep 10

echo "Run new load.sh"
pssh -i --host "$HOSTS" -t 120 "rm -f load.sh ; curl -s https://pluto.fsinf.at/~astra/config/load.sh | bash"