diff options
Diffstat (limited to '.devcontainer/devcontainer.json')
-rw-r--r-- | .devcontainer/devcontainer.json | 40 |
1 files changed, 25 insertions, 15 deletions
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index fa2b045f..f94bcc8c 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -1,17 +1,27 @@ +// For format details, see https://aka.ms/devcontainer.json. For config options, see the +// README at: https://github.com/devcontainers/templates/tree/main/src/cpp { - "name": "GpgFrontend Development Environment", - "build": { - "dockerfile": "Dockerfile" - }, - "settings": { - "terminal.integrated.shell.linux": "/bin/bash" - }, - "extensions": [ - "ms-vscode.cpptools", - "ms-vscode.cmake-tools", - "twxs.cmake", - "ms-vscode.gitlens" - ], - "forwardPorts": [8000], - "remoteUser": "devuser" + "name": "C++", + "build": { + "dockerfile": "Dockerfile" + }, + "features": { + "ghcr.io/devcontainers-contrib/features/zsh-plugins:0": {}, + "ghcr.io/nils-geistmann/devcontainers-features/zsh:0": {} + } + + // 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": [], + + // Use 'postCreateCommand' to run commands after the container is created. + // "postCreateCommand": "gcc -v", + + // Configure tool-specific properties. + // "customizations": {}, + + // Uncomment to connect as root instead. More info: https://aka.ms/dev-containers-non-root. + // "remoteUser": "root" } |