Skip to content

Instantly share code, notes, and snippets.

@BillRaymond
Created June 19, 2023 22:48
Show Gist options
  • Save BillRaymond/c6071799f05a69b90a4e12cdf83d3bd4 to your computer and use it in GitHub Desktop.
Save BillRaymond/c6071799f05a69b90a4e12cdf83d3bd4 to your computer and use it in GitHub Desktop.
Add VSC extensions to dev containers
// Look at the customizations section to see how to automatically install various
// extensions into the dev container after a build or rebuild
// For format details, see https://aka.ms/devcontainer.json. For config options, see the
// README at: https://github.com/devcontainers/templates/tree/main/src/docker-existing-dockerfile
{
"name": "Existing Dockerfile",
"build": {
// Sets the run context to one level up instead of the .devcontainer folder.
"context": "..",
// Update the 'dockerFile' property if you aren't using the standard 'Dockerfile' filename.
"dockerfile": "../Dockerfile"
},
// Features to add to the dev container. More info: https://containers.dev/features.
// "features": {},
// Use 'forwardPorts' to make a list of ports inside the container available locally.
// "forwardPorts": [],
// Uncomment the next line to run commands after the container is created.
// "postCreateCommand": "cat /etc/os-release",
// Configure tool-specific properties.
"customizations": {
"vscode": {
"extensions": [
"ms-azuretools.vscode-docker",
"ms-toolsai.jupyter",
"ms-python.python",
"github.vscode-github-actions",
"eamodio.gitlens",
"yzhang.markdown-all-in-one",
"postman.postman-for-vscode",
"mohsen1.prettify-json"
]
}
}
// Uncomment to connect as an existing user other than the container default. More info: https://aka.ms/dev-containers-non-root.
// "remoteUser": "devcontainer"
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment