From 34b9dc880fa6ae3ff89d5db981d2011406d75ca8 Mon Sep 17 00:00:00 2001 From: Ramon Roche Date: Tue, 2 Aug 2022 07:53:05 -0700 Subject: [PATCH] docker: cleanup run script * add verbose output --- Tools/docker_run.sh | 16 ++++------------ 1 file changed, 4 insertions(+), 12 deletions(-) diff --git a/Tools/docker_run.sh b/Tools/docker_run.sh index d46486738f..44823a5245 100755 --- a/Tools/docker_run.sh +++ b/Tools/docker_run.sh @@ -1,22 +1,14 @@ #!/bin/bash -# docker hygiene - -#Delete all stopped containers (including data-only containers) -#docker rm $(docker ps -a -q) - -#Delete all 'untagged/dangling' () images -#docker rmi $(docker images -q -f dangling=true) - if [[ -z "${DOCKER_TAG}" ]]; then - TAG_NAME=":latest" + TAG_NAME="latest" else - TAG_NAME=":${DOCKER_TAG}" + TAG_NAME="${DOCKER_TAG}" fi -PX4_DOCKER_REPO="px4io/px4-dev$TAG_NAME" +PX4_DOCKER_REPO="px4io/px4-dev:$TAG_NAME" -echo $PX4_DOCKER_REPO +echo "docker_run.sh: Running [$PX4_DOCKER_REPO]" PWD=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd ) SRC_DIR=$PWD/../