From 4a259e6c157c83fcd56f4ebe8ac80f750d11dcba Mon Sep 17 00:00:00 2001
From: Nicolas Boisselier <nicolas.boisselier@gmail.com>
Date: Mon, 21 Nov 2016 14:00:04 +0000
Subject: [PATCH] docker.sh

---
 etc/profile.d/docker.sh | 14 --------------
 1 file changed, 14 deletions(-)

diff --git a/etc/profile.d/docker.sh b/etc/profile.d/docker.sh
index 3e134dc9..346d66c1 100644
--- a/etc/profile.d/docker.sh
+++ b/etc/profile.d/docker.sh
@@ -73,20 +73,6 @@ docker_build() {
   return $ex
 }
 
-# NB 17.11.16 __docker_cd() {
-# NB 17.11.16   eval $(_docker_cd "$@")
-# NB 17.11.16   echo
-# NB 17.11.16   echo "docker_name=$docker_name"
-# NB 17.11.16   echo "docker_dir=$docker_dir"
-# NB 17.11.16   echo "pwd=$pwd"
-# NB 17.11.16   echo
-# NB 17.11.16   echo "BACK:"; _docker_cd -back
-# NB 17.11.16   eval $(_docker_cd -back)
-# NB 17.11.16   echo
-# NB 17.11.16   echo "PWD"
-# NB 17.11.16   pwd
-# NB 17.11.16 }
-
 _docker_cd() {
   case "$1" in
     -back)
-- 
2.47.3