From 9eeb324eceb94c1dfbd76d371d5078a9e5a2f6b3 Mon Sep 17 00:00:00 2001
From: Sam Saffron <sam.saffron@gmail.com>
Date: Tue, 19 Mar 2019 18:52:23 +1100
Subject: [PATCH] DEV: clean up docker detection

previously we would output stuff to console if docker.io was missing
---
 launcher | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/launcher b/launcher
index ec20826..de92c17 100755
--- a/launcher
+++ b/launcher
@@ -81,7 +81,7 @@ config_file=containers/"$config".yml
 cidbootstrap=cids/"$config"_bootstrap.cid
 local_discourse=local_discourse
 image=discourse/base:2.0.20190217
-docker_path=`which docker.io || which docker`
+docker_path=`which docker.io 2> /dev/null || which docker`
 git_path=`which git`
 
 if [ "${SUPERVISED}" = "true" ]; then
-- 
2.25.1