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