From 109797502a7bf38c52f788a936b285888eb95b79 Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Mon, 22 Jun 2020 16:32:32 +0400
Subject: [PATCH] cosmetic

---
 dk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dk b/dk
index 051af86..f057acb 100755
--- a/dk
+++ b/dk
@@ -1945,6 +1945,7 @@ if [ -n "$SELECT_MACHINE" -o -n "$SELECT_CONTAINER" ]; then
 fi
 if [ -n "$SELECT_MACHINE" ]; then
     enote "Sélection de la machine $DM_SET_MACHINE"
+    [ -n "$SELECT_CONTAINER" ] && enote "Sélection du container $SELECT_CONTAINER"
 
     [ -n "$DM_AVAILABLE" ] || die "docker-machine n'est pas disponible"
     setx dm_env=docker-machine env "$DM_SET_MACHINE" || die