etc/profile.d/docker.sh

diff --git a/etc/profile.d/docker.sh b/etc/profile.d/docker.sh
index bb6346408b9ccd369a4e0e98decb12d5b374e92b..4609f2d975496321ec174c8bf579b279b086a889 100644 (file)
--- 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 ] \