From f159bdf3dc0b163be242556a4a7659a3f67e3743 Mon Sep 17 00:00:00 2001 From: Matthieu Baerts Date: Thu, 27 Aug 2026 17:58:10 +0200 Subject: [PATCH] docker: run: option to pull latest image Useful not to ask to build the images locally. Signed-off-by: Matthieu Baerts --- docker/common/run.sh | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/docker/common/run.sh b/docker/common/run.sh index 8723c04..231fa8c 100755 --- a/docker/common/run.sh +++ b/docker/common/run.sh @@ -20,6 +20,11 @@ ARGS=( ) test -t 1 && ARGS+=("-t") +if [ "${1}" = "--pull" ]; then + ARGS+=(--pull always) + shift +fi + DOCKER_IMG="${INPUT_PREFIX}/nipa-${DIR_NAME}:${INPUT_TAG}" echo "Using ${DOCKER_IMG} image" >&2