From 86b209cf776acc9bc1afb18948190f9465ab544a Mon Sep 17 00:00:00 2001
From: Yaman Umuroglu <yamanu@xilinx.com>
Date: Tue, 18 Feb 2020 09:10:40 +0000
Subject: [PATCH] [Docker] convert Docker tag and inst name to all lowercase

---
 run-docker.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/run-docker.sh b/run-docker.sh
index aadc4c787..dc49265c4 100755
--- a/run-docker.sh
+++ b/run-docker.sh
@@ -17,6 +17,9 @@ DOCKER_TAG="finn_${DOCKER_UNAME}"
 # uncomment to run multiple instances with different names
 # DOCKER_INST_NAME="finn_${DOCKER_UNAME}_${DOCKER_RND}"
 DOCKER_INST_NAME="finn_${DOCKER_UNAME}"
+# ensure Docker tag and inst. name are all lowercase
+DOCKER_TAG=$(echo "$DOCKER_TAG" | tr '[:upper:]' '[:lower:]')
+DOCKER_INST_NAME=$(echo "$DOCKER_INST_NAME" | tr '[:upper:]' '[:lower:]')
 # the settings below will be taken from environment variables if available,
 # otherwise the defaults below will be used
 : ${JUPYTER_PORT=8888}
-- 
GitLab