From d5698b960905b4df7334bc4c6026bac3fd08fc24 Mon Sep 17 00:00:00 2001 From: Evgeny Semenov Date: Fri, 24 Oct 2025 12:24:39 +0100 Subject: [PATCH] fix: remove docker container after exit The build script leaves multiple containers in a host environment. This update adds an `--rm` option to remove a Docker container after a command is executed. Signed-off-by: Evgeny Semenov --- bin/setup | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bin/setup b/bin/setup index 7534e3681..c8146e4c0 100755 --- a/bin/setup +++ b/bin/setup @@ -111,9 +111,9 @@ elif [ "${CONTAINER_TYPE}" == "docker" ]; then docker build -t riscvintl/udb:${CONTAINER_TAG} -f .devcontainer/Dockerfile . fi if [ -t 1 -a -t 0 ]; then - DOCKER_BASE="docker run -it -v ${ROOT}:${ROOT} -w ${ROOT} riscvintl/udb:${CONTAINER_TAG}" + DOCKER_BASE="docker run --rm -it -v ${ROOT}:${ROOT} -w ${ROOT} riscvintl/udb:${CONTAINER_TAG}" else - DOCKER_BASE="docker run -v ${ROOT}:${ROOT} -w ${ROOT} riscvintl/udb:${CONTAINER_TAG}" + DOCKER_BASE="docker run --rm -v ${ROOT}:${ROOT} -w ${ROOT} riscvintl/udb:${CONTAINER_TAG}" fi elif [ "${CONTAINER_TYPE}" == "singularity" ]; then CONTAINER_PATH=${ROOT}/.singularity/image-$CONTAINER_TAG.sif