fixup! fixup! fixup! fixup! fixup! fixup! fixup! fixup! fixup! fixup! fixup! fixup! !fixup Introduce devcontainer service container based development environment (#705)

Author: bedrich-schindler

docker/react_ui_devcontainer/Dockerfile

@@ -98,6 +98,7 @@ COPY --chmod=+x files/usr/local/bin/claude /usr/local/bin/claude
 COPY --chmod=+x files/usr/local/bin/opencode /usr/local/bin/opencode
 COPY --chmod=+x files/usr/local/bin/docker-entrypoint /usr/local/bin/docker-entrypoint
 COPY --chmod=+x files/home/$USERNAME/shell-init.sh ${HOME}/shell-init.sh
+COPY --chmod=+x files/home/$USERNAME/shell-init.fish ${HOME}/shell-init.fish
 
 # Wrapper scripts that execute commands inside the appropriate Docker containers.
 # These scripts use Docker-from-Docker to run the commands in the context of the
@@ -113,9 +114,9 @@ RUN mkdir -p $HOME/.config/fish && \
     echo 'export PATH="/usr/local/bin:$PATH"' >> $HOME/.bashrc && \
     echo 'export PATH="/usr/local/bin:$PATH"' >> $HOME/.zshrc && \
     echo 'set -gx PATH /usr/local/bin $PATH' >> $HOME/.config/fish/config.fish && \
-    echo '$HOME/shell-init.sh' >> $HOME/.bashrc && \
-    echo '$HOME/shell-init.sh' >> $HOME/.zshrc && \
-    echo '$HOME/shell-init.sh' >> $HOME/.config/fish/config.fish
+    echo '. $HOME/shell-init.sh' >> $HOME/.bashrc && \
+    echo '. $HOME/shell-init.sh' >> $HOME/.zshrc && \
+    echo 'source $HOME/shell-init.fish' >> $HOME/.config/fish/config.fish
 
 # Set the default working directory when starting a container from this image
 WORKDIR /workspace

docker/react_ui_devcontainer/files/home/developer/shell-init.fish

@@ -0,0 +1,13 @@
+#!/usr/bin/env fish
+
+# Block SSH agent forwarding if the environment variable `BLOCK_SSH_AUTH_SOCK` is set to "true"
+#
+# VS Code forwards the SSH agent socket to the dev container by default, so this allows users
+# to opt out of that behavior if they want to disable SSH agent forwarding to isolate the dev container.
+# JetBrains IDEs forward the SSH agent socket only if allowed by the user.
+if test "$BLOCK_SSH_AUTH_SOCK" = "true"
+    # Disable SSH agent forwarding for the current shell session
+    set -gx SSH_AUTH_SOCK /dev/null
+    # Remove any existing SSH agent socket files created by VS Code
+    find /tmp -maxdepth 1 -name 'vscode-ssh-auth-*.sock' -delete 2>/dev/null
+end