From 6911abf0f03f5312e7ad424f02cf4ae242303c93 Mon Sep 17 00:00:00 2001 From: Jose Luis Rivero Date: Mon, 16 Jun 2025 16:06:09 +0200 Subject: [PATCH] Use a more robust tag for docker Signed-off-by: Jose Luis Rivero --- .docker/build.bash | 4 +++- .docker/run.bash | 6 ++++-- 2 files changed, 7 insertions(+), 3 deletions(-) diff --git a/.docker/build.bash b/.docker/build.bash index 8098764..9b0a344 100755 --- a/.docker/build.bash +++ b/.docker/build.bash @@ -3,7 +3,9 @@ SCRIPT_DIR="$(cd "$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")" &>/dev/null && pwd)" PROJECT_DIR="$(dirname "${SCRIPT_DIR}")" -TAG="andrejorsula/$(basename "${PROJECT_DIR}")" +TAG=$(git -C "${PROJECT_DIR}" remote get-url origin | sed 's/.*\///; s/\.git$//') +TAG=${TAG}-$(git -C "${PROJECT_DIR}" branch --show-current) +TAG=${TAG}-$(git -C "${PROJECT_DIR}" rev-parse --short HEAD) if [ "${#}" -gt "0" ]; then if [[ "${1}" != "-"* ]]; then diff --git a/.docker/run.bash b/.docker/run.bash index 19e8e68..c489a3c 100755 --- a/.docker/run.bash +++ b/.docker/run.bash @@ -1,6 +1,8 @@ #!/usr/bin/env bash -TAG="andrejorsula/panda_ign_moveit2" +TAG=$(git -C "${PROJECT_DIR}" remote get-url origin | sed 's/.*\///; s/\.git$//') +TAG=${TAG}-$(git -C "${PROJECT_DIR}" branch --show-current) +TAG=${TAG}-$(git -C "${PROJECT_DIR}" rev-parse --short HEAD) ## Forward custom volumes and environment variables CUSTOM_VOLUMES=() @@ -81,7 +83,7 @@ if [ -n "${ROS_DOMAIN_ID}" ]; then fi # Synchronize IGN_PARTITION with host if [ -n "${IGN_PARTITION}" ]; then - CUSTOM_ENVS+=("IGN_PARTITION=${IGN_PARTITION}") + CUSTOM_ENVS+=("GZ_PARTITION=${GZ_PARTITION}") fi # Synchronize RMW configuration with host if [ -n "${RMW_IMPLEMENTATION}" ]; then