diff options
author | Fudgerboy <91767657+Fudgerboy@users.noreply.github.com> | 2024-04-14 00:31:50 +0000 |
---|---|---|
committer | Fudgerboy <91767657+Fudgerboy@users.noreply.github.com> | 2024-04-14 00:31:50 +0000 |
commit | e3e60555e7d926a29c426377941111e417ae4867 (patch) | |
tree | fd58d7d00109b2a64acc5f0b14bfaaa44aa0d789 /.devcontainer.json | |
parent | d02d610bdcb2c833bedfc56e406b3c6ff0678f9f (diff) |
Sat, Apr 13, 2024, 5:31 PM -07:00
Diffstat (limited to '.devcontainer.json')
-rw-r--r-- | .devcontainer.json | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.devcontainer.json b/.devcontainer.json index b84ad06..36d69c2 100644 --- a/.devcontainer.json +++ b/.devcontainer.json @@ -140,6 +140,9 @@ "javascript.validate.enable": false, "problems.decorations.enabled": false, "python.terminal.executeInFileDir": true, + "remote.autoForwardPorts": true, + "remote.autoForwardPortsFallback": 0, + "remote.autoForwardPortsSource": "process", "remote.otherPortsAttributes": { "onAutoForward": "silent" }, @@ -215,7 +218,7 @@ 8082, 8787 ], - "image": "ghcr.io/cs50/codespace:63132a04b51b25a71acc95a7956f66c34e786cd0", + "image": "ghcr.io/cs50/codespace:8c72efb413904214f46adf16f32ec9ceb75d8d53", "mounts": [ { "source": "/var/run/docker.sock", |