From fb789e7d52cc67d3f5a3e713a355e121e772ebcb Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Sat, 10 Oct 2020 20:08:55 +0200
Subject: initial commit

---
 reboot-if-no-net-connection | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100755 reboot-if-no-net-connection

(limited to 'reboot-if-no-net-connection')

diff --git a/reboot-if-no-net-connection b/reboot-if-no-net-connection
new file mode 100755
index 0000000..bb8c43d
--- /dev/null
+++ b/reboot-if-no-net-connection
@@ -0,0 +1,23 @@
+#!/bin/bash
+
+for i in {1..300}; do
+
+  default_gateway=$(
+    ip route \
+    | sed '
+      s/^default\s\+\S\+\s\+\(\S\+\)\s.*$/\1/
+      t
+      d
+    '
+  )
+
+  if [ -n "${default_gateway}" ] \
+  && ping -c1 "${default_gateway}" >/dev/null 2>&1; then
+    exit
+  fi
+
+  sleep 1
+
+done
+
+reboot
-- 
cgit v1.2.3-54-g00ecf