From 26b54dfe6da53809e7ba93e5cafea6e6649debd6 Mon Sep 17 00:00:00 2001 From: bamurtaugh Date: Tue, 9 Mar 2021 23:23:26 +0000 Subject: [PATCH] Add remote.portsAttributes --- .devcontainer/devcontainer.json | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 11b7447..e8830f1 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -28,7 +28,13 @@ "python.linting.mypyPath": "/usr/local/py-utils/bin/mypy", "python.linting.pycodestylePath": "/usr/local/py-utils/bin/pycodestyle", "python.linting.pydocstylePath": "/usr/local/py-utils/bin/pydocstyle", - "python.linting.pylintPath": "/usr/local/py-utils/bin/pylint" + "python.linting.pylintPath": "/usr/local/py-utils/bin/pylint", + "remote.portsAttributes": { + "9000": { + "label": "My Port", + "onAutoForward": "notify" + } + } }, // Add the IDs of extensions you want installed when the container is created.