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.