From c7598afcf749edcc7d3ae25f095024fb0bddd127 Mon Sep 17 00:00:00 2001
From: Nicolas Boisselier <nicolas.boisselier@gmail.com>
Date: Wed, 8 Mar 2017 00:55:37 +0000
Subject: [PATCH] etc/profile.d/docker.sh

---
 etc/profile.d/docker.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/etc/profile.d/docker.sh b/etc/profile.d/docker.sh
index bb634640..4609f2d9 100644
--- a/etc/profile.d/docker.sh
+++ b/etc/profile.d/docker.sh
@@ -3,7 +3,8 @@
 #
 [ -z "$DOCKER_MACHINE_NAME" ] && DOCKER_MACHINE_NAME="docker"
 
-if which docker-machine >/dev/null; then
+# NB 08.03.17: Desactivate to track a bug on osx 
+if false && which docker-machine >/dev/null; then
 
   if [ -z "$DOCKER_CERT_PATH" -o ! -e "$DOCKER_CERT_PATH" ] \
     && [ _$(docker-machine status "$DOCKER_MACHINE_NAME" 2>/dev/null) =  _Running ] \
-- 
2.47.3