From 3293d09e90daa7bc3568ba5df2eb61ee866500ef Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Mon, 12 Nov 2018 16:36:58 +0400
Subject: [PATCH] support docker-machine use

---
 lib/profile.d/bash_prompt.shared | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/lib/profile.d/bash_prompt.shared b/lib/profile.d/bash_prompt.shared
index ea9f332..0070b2b 100644
--- a/lib/profile.d/bash_prompt.shared
+++ b/lib/profile.d/bash_prompt.shared
@@ -23,6 +23,9 @@ if [ -n "$UTOOLS_BASH_PROMPT" ]; then
 local cvs svn git pff uinst woinst suffix p="$PWD"
 if [ -n "$UTOOLS_AUTO" ]; then
   PS1=
+  if [ "$DOCKER_MACHINE_WRAPPED" == true -a -n "$DOCKER_MACHINE_NAME" ]; then
+    PS1="DK-|$DOCKER_MACHINE_NAME|"
+  fi
   while [ "$p" != "$HOME" -a "$p" != "" ]; do
     if [ -z "$cvs" -a -d "$p/CVS" ]; then
       PS1="${PS1:+$PS1,}cvs$suffix"