From bcf995b4599637a8a8f3d2ab5f70215c02af455a Mon Sep 17 00:00:00 2001
From: Roberto Rosario <roberto.rosario.gonzalez@gmail.com>
Date: Sat, 30 Jun 2018 00:44:00 -0400
Subject: [PATCH] Default the installation of Docker to false.

Signed-off-by: Roberto Rosario <roberto.rosario.gonzalez@gmail.com>
---
 contrib/scripts/install/docker.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/scripts/install/docker.sh b/contrib/scripts/install/docker.sh
index 7a888c086c..734157b104 100755
--- a/contrib/scripts/install/docker.sh
+++ b/contrib/scripts/install/docker.sh
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 : ${VERBOSE:=false}
-: ${INSTALL_DOCKER:=true}
+: ${INSTALL_DOCKER:=false}
 : ${DELETE_VOLUMES:=false}
 : ${DATABASE_USER:=mayan}
 : ${DATABASE_NAME:=mayan}