From 176a7dd5ed8d9ff79a0b6cc721ff1d02f0161165 Mon Sep 17 00:00:00 2001
From: Yaman Umuroglu <maltanar@gmail.com>
Date: Thu, 6 Feb 2020 13:42:33 +0100
Subject: [PATCH] [Docker] allow specifying ports to forward as envvar
---
run-docker.sh | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/run-docker.sh b/run-docker.sh
index e46ce848f..d13e9f562 100755
--- a/run-docker.sh
+++ b/run-docker.sh
@@ -11,6 +11,7 @@ DOCKER_UNAME=$(id -un)
DOCKER_UID=$(id -u)
DOCKER_PASSWD="finn"
DOCKER_TAG="finn_$DOCKER_UNAME"
+: ${DOCKER_PORT_FORWARD="-p 8888:8888 -p 8081:8081"}
# Absolute path to this script, e.g. /home/user/bin/foo.sh
SCRIPT=$(readlink -f "$0")
@@ -53,6 +54,7 @@ echo "Mounting $SCRIPTPATH/pyverilator into /workspace/pyverilator"
echo "Mounting $SCRIPTPATH/PYNQ-HelloWorld into /workspace/PYNQ-HelloWorld"
echo "Mounting $BUILD_LOCAL into $BUILD_LOCAL"
echo "Mounting $VIVADO_PATH into $VIVADO_PATH"
+echo "Port-forwarding with $DOCKER_PORT_FORWARD"
if [ "$1" = "test" ]; then
echo "Running test suite"
@@ -87,5 +89,5 @@ docker run -t --rm --name finn_dev_$DOCKER_UNAME -it \
-v $BUILD_LOCAL:$BUILD_LOCAL \
-v $VIVADO_PATH:$VIVADO_PATH \
-e VIVADO_PATH=$VIVADO_PATH \
--p 8888:8888 -p 8081:8081 \
+$DOCKER_PORT_FORWARD \
$DOCKER_TAG bash -c "$DOCKER_CMD"
--
GitLab