From 7411a139a45c401361a135a001fd9c17b5cae8f8 Mon Sep 17 00:00:00 2001
From: Yaman Umuroglu <maltanar@gmail.com>
Date: Thu, 6 Feb 2020 13:19:09 +0100
Subject: [PATCH] [Docker] add username to container name
---
run-docker.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/run-docker.sh b/run-docker.sh
index e3415c921..bafa14529 100755
--- a/run-docker.sh
+++ b/run-docker.sh
@@ -74,7 +74,7 @@ docker build --tag=$DOCKER_TAG \
--build-arg PASSWD=$DOCKER_PASSWD \
.
# Launch container with current directory mounted
-docker run --rm --name finn_dev -it \
+docker run --rm --name finn_dev_$DOCKER_UNAME -it \
-e "XILINX_VIVADO=$VIVADO_PATH" \
-e "SHELL=/bin/bash" \
-v $SCRIPTPATH:/workspace/finn \
--
GitLab