From bc1a740f35ed117ab0d54f8136278f23528a1229 Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Thu, 17 Sep 2020 06:02:05 +0400
Subject: [PATCH] bug

---
 lib/bashrc.d/docker_aliases.shared | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/lib/bashrc.d/docker_aliases.shared b/lib/bashrc.d/docker_aliases.shared
index c6369fb..7da3cbf 100644
--- a/lib/bashrc.d/docker_aliases.shared
+++ b/lib/bashrc.d/docker_aliases.shared
@@ -12,7 +12,14 @@ if [ -n "$UTOOLS_DOCKER_ALIASES" ]; then
             local machine="$2"; shift; shift
             machine="$(
                 CLUSTERDIRS=()
+                DM_ALIASES=()
                 source ~/etc/default/dk
+                for alias_machine in "${DM_ALIASES[@]}"; do
+                    if [ "${alias_machine%%:*}" == "$machine" ]; then
+                        echo "${alias_machine#*:}"
+                        exit
+                    fi
+                done
                 for clusterdir in "${CLUSTERDIRS[@]}"; do
                     if [ -f "$clusterdir/0config/configure.conf" ]; then
                         DM_ALIASES=()