From 2a0c42f48160fe9b9f54fc15584e166c05feed6c Mon Sep 17 00:00:00 2001
From: Nicola <73220426+Zerodya@users.noreply.github.com>
Date: Wed, 19 Jul 2023 19:20:31 +0200
Subject: [PATCH] Can run even if user has Docker installed already

---
 dockeraise.sh | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/dockeraise.sh b/dockeraise.sh
index 4f148d6..07611f1 100644
--- a/dockeraise.sh
+++ b/dockeraise.sh
@@ -13,8 +13,15 @@ fi
 
 # Check if Docker is already installed
 if command -v docker &>/dev/null; then
-    echo -e "${err} Docker is already installed."
-    exit 1
+    while true; do
+        echo -e "${err} Docker is already installed."
+        read -p "Do you want still want to run the script? [y/n] " yn </dev/tty
+        case $yn in
+            [Yy] ) break;;
+            [Nn] ) exit 1;;
+            * ) ;;
+        esac
+    done
 fi
 
 # Check if machine runs Debian (only checks if apt-get exists, maybe needs a better implementation?)