#!/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|offline" | sed 's/^Host //' | sed 's/ #.*//' | tr '\n' ' ' | sed 's/ $//' ` HOSTS=${HOSTS:-$ALLHOSTS} echo "loaded keys:" ssh-add -l echo "Fetch new load.sh" pssh -i --host "$HOSTS" "rm -f load.sh && wget -q http://pluto.fsinf.at/~astra/config/load.sh && chmod +x load.sh" echo "Apply new load.sh" pssh -i --host "$HOSTS" -t 0 "./load.sh && rm load.sh"