From fc8cdb0b6f42d6d1912d30f947b1e6bae9857284 Mon Sep 17 00:00:00 2001
From: Ramon Roche <mrpollo@gmail.com>
Date: Tue, 1 Feb 2022 12:54:26 -0800
Subject: [PATCH] tools: docker runner accepts tags

---
 Tools/docker_run.sh | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/Tools/docker_run.sh b/Tools/docker_run.sh
index 24943c04c4..d06a210425 100755
--- a/Tools/docker_run.sh
+++ b/Tools/docker_run.sh
@@ -8,7 +8,15 @@
 #Delete all 'untagged/dangling' (<none>) images
 #docker rmi $(docker images -q -f dangling=true)
 
-PX4_DOCKER_REPO="px4io/px4-dev"
+if [[ -z "${DOCKER_TAG}" ]]; then
+  TAG_NAME=""
+else
+  TAG_NAME=":${DOCKER_TAG}"
+fi
+
+PX4_DOCKER_REPO="px4io/px4-dev$TAG_NAME"
+
+echo $PX4_DOCKER_REPO
 
 PWD=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
 SRC_DIR=$PWD/../