From 6443a0d82c1f79a518071de6955bd1f4af54eedd Mon Sep 17 00:00:00 2001
From: Andres Montano <andres.montano@tecnalia.com>
Date: Mon, 20 Nov 2023 14:37:39 +0100
Subject: [PATCH] Update messages to print
---
dotfiles/docker.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dotfiles/docker.sh b/dotfiles/docker.sh
index 5c8def3..ba01884 100644
--- a/dotfiles/docker.sh
+++ b/dotfiles/docker.sh
@@ -64,7 +64,7 @@ function dockbuild(){
fi
fi
- echo "${GREEN}Building ROS_DISTRO: ${ros_distro} with SHELL_VERSION: ${shell}${NC}"
+ echo "${GREEN}Building image for ${ros_distro} with ${shell} as shell${NC}"
docker build -t devenv:${ros_distro} --build-arg ROS_DISTRO=${ros_distro} --build-arg EXT_SHELL=${shell} --build-arg SHELL=${shell_path} -f devenv.Dockerfile .
cd $current_dir
}
--
GitLab