From 7e835ceecd7b9d0e54824522344008f4ba2a7e1b Mon Sep 17 00:00:00 2001 From: Steffen Vogel Date: Tue, 20 Jun 2023 17:44:22 +0000 Subject: [PATCH] Update devcontainer config Signed-off-by: Steffen Vogel --- .devcontainer/devcontainer.json | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 44d36f246..0cc585584 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -2,19 +2,22 @@ // https://github.com/microsoft/vscode-dev-containers/tree/v0.195.0/containers/cpp { "name": "VILLASnode", - "image": "registry.git.rwth-aachen.de/acs/public/villas/node/dev-vscode:master", + "image": "registry.git.rwth-aachen.de/acs/public/villas/node/dev-vscode", // Uncomment to build the devcontainer locally // "build": { - // "dockerfile": "../packaging/docker/Dockerfile.fedora", + // "dockerfile": "${workspaceFolder}/packaging/docker/Dockerfile.fedora", // "target": "dev-vscode", // "context": ".." // }, "remoteUser": "villas", "runArgs": [ "--privileged", "--security-opt", "seccomp=unconfined"], - "extensions": [ - "ms-vscode.cpptools", - "ms-vscode.cmake-tools", - "EditorConfig.EditorConfig" - ], + "customizations": { + "vscode": { + "extensions": [ + "ms-vscode.cpptools-extension-pack", + "EditorConfig.EditorConfig" + ] + } + } }