1 files changed, 0 insertions, 21 deletions
diff --git a/bin/updateConfig.sh b/bin/updateConfig.sh
deleted file mode 100755
index ffa35e4..0000000
--- a/bin/updateConfig.sh
+++ /dev/null
@@ -1,21 +0,0 @@
-#!/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"