From 7abed7fcd9da5d1234e0d1b27feffd4d795f731e Mon Sep 17 00:00:00 2001
From: Party Wumpus <48649272+PartyWumpus@users.noreply.github.com>
Date: Mon, 20 Mar 2023 22:17:12 +0000
Subject: Update user_install_script.sh

---
 gui/user_install_script.sh | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/gui/user_install_script.sh b/gui/user_install_script.sh
index acc3c5d..046deb8 100644
--- a/gui/user_install_script.sh
+++ b/gui/user_install_script.sh
@@ -18,6 +18,13 @@ then
     exit
 fi
 
+# check if github.com is reachable
+if ! curl -Is https://github.com | head -1 | grep 200 > /dev/null
+then
+    echo "Github appears to be unreachable, you may not be connected to the internet"
+    exit 1
+fi
+
 # if the script is not root yet, get the password and rerun as root
 if (( $EUID != 0 )); then
     PASS_STATUS=$(passwd -S deck 2> /dev/null)
-- 
cgit v1.2.3