From dfdd854564b60f84d14d5a9f2620b3904cb21b36 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rg=20Thalheim?= <joerg@thalheim.io>
Date: Thu, 20 Jul 2023 09:19:05 +0200
Subject: [PATCH] add script to reboot machine

---
 targets/web01/reboot.sh | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100755 targets/web01/reboot.sh

diff --git a/targets/web01/reboot.sh b/targets/web01/reboot.sh
new file mode 100755
index 0000000..c29b677
--- /dev/null
+++ b/targets/web01/reboot.sh
@@ -0,0 +1,12 @@
+#!/usr/bin/env bash
+
+
+HOST=clan.lol
+SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
+ssh "root@$HOST" reboot
+# wait till shutdown
+while ping -4 -W 1 -c 1 "$HOST"; do
+  sleep 1
+done
+
+"$SCRIPT_DIR/decrypt.sh"