From 1b12cee1fb36ae2fb8d182ab600893c0097300c8 Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Thu, 26 Mar 2020 22:57:04 +0400
Subject: [PATCH] =?UTF-8?q?dk:=20afficher=20un=20warning=20si=20le=20profi?=
 =?UTF-8?q?l=20n'est=20pas=20d=C3=A9fini=20pour=20une=20machine?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 dk | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/dk b/dk
index 5a0e321..55d8209 100755
--- a/dk
+++ b/dk
@@ -1700,15 +1700,25 @@ if [ -n "$DM_SET_MACHINE" ]; then
     [ "$DM_SET_MACHINE" == - ] && DM_SET_MACHINE=-u
     setx dm_env=docker-machine env "$DM_SET_MACHINE" || die
     eval "$dm_env"
+    # pour warning ci-dessous
+    [ "$DM_SET_MACHINE" == -u ] && DM_SET_MACHINE=
 fi
 if [ -n "$DM_AVAILABLE" ]; then
+    found=
     for dm_profile in "${DM_PROFILES[@]}"; do
         splitpair "$dm_profile" dm profile
         if [ "$dm" == "$DOCKER_MACHINE_NAME" ]; then
             DEFAULT_PROFILE="$profile"
+            found=1
             break
         fi
     done
+    if [ -n "$DM_SET_MACHINE" -a -z "$PROFILE" -a -z "$found" ]; then
+        ewarn "\
+Aucun profil n'a été défini pour $DM_SET_MACHINE dans ~/etc/default/dk
+== Le profil $DEFAULT_PROFILE sera utilisé =="
+        sleep 3
+    fi
 fi
 
 # construire par défaut