4050de78b6
Remove unnecessary INSTALL_GIT argument and set target to development in the devcontainer.json file. This simplifies the configuration and aligns it with the intended development environment setup.
38 lines
1.2 KiB
JSON
38 lines
1.2 KiB
JSON
// 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",
|
|
"target": "development"
|
|
},
|
|
|
|
// Features to add to the dev container. More info: https://containers.dev/features.
|
|
// "features": {},
|
|
"features": {
|
|
"ghcr.io/devcontainers-extra/features/hatch:2": {}
|
|
},
|
|
"customizations": {
|
|
"vscode": {
|
|
"extensions": [
|
|
"ms-python.python",
|
|
"charliermarsh.ruff"
|
|
]
|
|
}
|
|
},
|
|
|
|
// 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": {},
|
|
|
|
// Uncomment to connect as an existing user other than the container default. More info: https://aka.ms/dev-containers-non-root.
|
|
// "remoteUser": "root"
|
|
}
|