From 1594e7a7927c4ae8b593d7e369d6bfacfa0ffa48 Mon Sep 17 00:00:00 2001 From: Roberto Rosario Date: Mon, 6 Aug 2018 15:34:21 -0400 Subject: [PATCH] Detect if Docker installed. Signed-off-by: Roberto Rosario --- contrib/scripts/install/docker.sh | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/contrib/scripts/install/docker.sh b/contrib/scripts/install/docker.sh index 7f8521ee35..c20a4b89ac 100755 --- a/contrib/scripts/install/docker.sh +++ b/contrib/scripts/install/docker.sh @@ -66,6 +66,11 @@ if [ "$INSTALL_DOCKER" = true ]; then echo "Done" fi +if [ -z `which docker` ]; then + echo "Docker is not installed. Rerun this script with the variable INSTALL_DOCKER set to true." + exit 1 +fi + echo -n "* Removing existing Mayan EDMS and PostgreSQL containers (no data will be lost)..." true || docker stop $DOCKER_MAYAN_CONTAINER >/dev/null 2>&1 true || docker rm $DOCKER_MAYAN_CONTAINER >/dev/null 2>&1