From 9fc27ded216c21940f6178f8388ab0ab5c3fb37a Mon Sep 17 00:00:00 2001
From: Niklas Dusenlund <niklas.dusenlund@bitbox.swiss>
Date: Thu, 9 Jan 2025 08:35:07 +0100
Subject: [PATCH] DX: Publish the simulators port

This commit publishes the simulators default port 15423 on the
development container so that processes on the host can access it
---
 scripts/dockerenv.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/scripts/dockerenv.sh b/scripts/dockerenv.sh
index 6379a436f..04f1b6f96 100755
--- a/scripts/dockerenv.sh
+++ b/scripts/dockerenv.sh
@@ -72,13 +72,15 @@ dockerdev () {
         $RUNTIME rm "$CONTAINER_NAME"
     fi
 
-    # SYS_PTRACE is needed to run address sanitizer
+    # * `SYS_PTRACE` is needed to run address sanitizer
+    # * `-p 15423` publishes the default port the simulator listens on
     $RUNTIME run \
            --detach \
            --interactive --tty \
            --name="$CONTAINER_NAME" \
            -v "$repo_path":"$MOUNT_DIR" \
            --cap-add SYS_PTRACE \
+           -p 15423:15423 \
            ${CONTAINER_IMAGE}:${CONTAINER_VERSION} bash
 
     if [ "$RUNTIME" = "docker" ] ; then