csci5451/.devcontainer/devcontainer.json

45 lines
1.4 KiB
JSON
Raw Normal View History

2023-10-08 01:37:18 +00:00
// 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
{
2023-10-09 07:51:38 +00:00
"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"
},
2023-10-08 01:37:18 +00:00
2023-10-09 07:51:38 +00:00
// Features to add to the dev container. More info: https://containers.dev/features.
"features": {},
"customizations": {
"vscode": {
"extensions": [
2023-10-31 04:37:41 +00:00
"eamodio.gitlens",
"esbenp.prettier-vscode",
"llvm-vs-code-extensions.vscode-clangd",
"ms-azuretools.vscode-docker",
"ms-python.python",
"ms-python.vscode-pylance",
"ms-vscode.cpptools",
"ms-vscode.makefile-tools",
"rust-lang.rust-analyzer",
"tomoki1207.pdf",
2023-11-19 06:57:10 +00:00
"nvarner.typst-lsp",
"tamasfe.even-better-toml"
2023-10-31 04:37:41 +00:00
]
2023-10-09 07:51:38 +00:00
}
}
2023-10-08 01:37:18 +00:00
2023-10-09 07:51:38 +00:00
// Use 'forwardPorts' to make a list of ports inside the container available locally.
// "forwardPorts": [],
2023-10-08 01:37:18 +00:00
2023-10-09 07:51:38 +00:00
// Uncomment the next line to run commands after the container is created.
// "postCreateCommand": "cat /etc/os-release",
2023-10-08 01:37:18 +00:00
2023-10-09 07:51:38 +00:00
// Configure tool-specific properties.
// "customizations": {},
2023-10-08 01:37:18 +00:00
2023-10-09 07:51:38 +00:00
// Uncomment to connect as an existing user other than the container default. More info: https://aka.ms/dev-containers-non-root.
// "remoteUser": "devcontainer"
2023-10-08 01:37:18 +00:00
}