Merge branch 'master' of git.lan:chaos/spielplatz

nummer5/hosts.conf

@@ -0,0 +1,2 @@
+hosts="pine01.wks pine02.wks pine03.wks pine04.wks pine05.wks adm01.wks ebin01.wks ebin02.wks"
+domain="wks"

nummer5/nummer5-host-powercycle.sh

@@ -0,0 +1,12 @@
+#!/bin/bash
+. hosts.conf
+
+host=$1
+hostname=$(echo ${host} | sed s/\.${domain}//)
+MOSQ="mosquitto_pub -h mqtt.wks -t switch_cloud/switch/${hostname}/command -m"
+echo "${host} turning it off"
+${MOSQ} OFF
+sleep 2
+echo "${host} turning it on"
+${MOSQ} ON
+ping -W 1 ${host}

nummer5/nummer5-hosts-alive.sh

@@ -0,0 +1,9 @@
+#!/bin/bash
+. hosts.conf
+for host in $hosts; do
+    if ping -c 1 -W 1 "$host" >/dev/null; then
+        echo "$host is alive"
+    else
+        echo "$host is pining for the fjords"
+    fi
+done