From c395bfa713c5c4ee04cf7c52504623e62c3a6209 Mon Sep 17 00:00:00 2001
From: Steven Foerster <steven@cyber5k.com>
Date: Wed, 14 Jul 2021 19:08:13 -0400
Subject: [PATCH] set +e

---
 scripts/subinstallers/docker.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/scripts/subinstallers/docker.sh b/scripts/subinstallers/docker.sh
index 8728378..516a93c 100755
--- a/scripts/subinstallers/docker.sh
+++ b/scripts/subinstallers/docker.sh
@@ -8,12 +8,14 @@ sudo -E apt install -y python python3-pip python3-setuptools libffi-dev python3-
 
 # Ubuntu version >= 20.04
 
+set +e
 vercomp "$VERSION_ID" "19.10"
 case $? in
     0) op='=';;
     1) op='>';;
     2) op='<';;
 esac
+set -e
 
 if [ "$DISTRO" == "ubuntu" ] && [ "$op" == ">" ]; then
     echo "Automated Docker install"