diff --git a/disconnect b/disconnect new file mode 100755 index 0000000..c7bf839 --- /dev/null +++ b/disconnect @@ -0,0 +1,16 @@ +#!/bin/bash + +set -o errexit -o nounset -o pipefail + +[[ $# -eq 0 ]] || exit 1 + +. hosts.sh + +for host in ${hosts_all[@]}; do + echo $host + echo + + ssh root@$host -O exit || true + + echo +done