docker.sh

diff --git a/etc/profile.d/docker.sh b/etc/profile.d/docker.sh
index 3e134dc9b13f41f6b005d0ee06eea366750ee93d..346d66c1fbb74efc066007e324387005bd81c1ae 100644 (file)
--- 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)