From d8ce333ae76fba6dfadfa71102f336c1d65f7cb3 Mon Sep 17 00:00:00 2001 From: Bill Moritz Date: Sun, 6 Dec 2015 09:55:19 -0500 Subject: [PATCH] Add Support for different docker-machine VM names Add the variable BASH_IT_DOCKER_MACHINE to set a name other than 'dev' as Virtual Machine name. --- plugins/available/docker-machine.plugin.bash | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/plugins/available/docker-machine.plugin.bash b/plugins/available/docker-machine.plugin.bash index fc2dc44d..95827f42 100644 --- a/plugins/available/docker-machine.plugin.bash +++ b/plugins/available/docker-machine.plugin.bash @@ -1,11 +1,13 @@ cite about-plugin about-plugin 'Helpers to get Docker setup correctly for docker-machine' +[ -z ${BASH_IT_DOCKER_MACHINE+x} ] && BASH_IT_DOCKER_MACHINE='dev' + # Note, this might need to be different if you use a machine other than 'dev' if [[ `uname -s` == "Darwin" ]]; then # check if dev machine is running - docker-machine ls | grep --quiet 'dev.*Running' + docker-machine ls | grep --quiet "$BASH_IT_DOCKER_MACHINE.*Running" if [[ "$?" = "0" ]]; then - eval "$(docker-machine env dev)" + eval "$(docker-machine env $BASH_IT_DOCKER_MACHINE)" fi fi