DEV: clean up docker detection

DEV: clean up docker detection

previously we would output stuff to console if docker.io was missing

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

GitHub sha: 9eeb324e

1 Like