set +e

5 years ago · c395bfa713
1 changed files with 2 additions and 0 deletions
--- 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-
				@@ -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"