diff options
| -rwxr-xr-x | bin/updateConfig.sh | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/bin/updateConfig.sh b/bin/updateConfig.sh index 571bc4d..29c0949 100755 --- a/bin/updateConfig.sh +++ b/bin/updateConfig.sh @@ -4,13 +4,18 @@ 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|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 "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" +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 ; wget -q https://pluto.fsinf.at/~astra/config/load.sh -O- -o/dev/null | bash" |