From f6191fa2a506c866f23b9e1e3378f0325a599730 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Adrien=20B=C3=A9raud?= <> Date: Sat, 16 Aug 2025 18:27:26 -0400 Subject: [PATCH] devcontainer: update --- .devcontainer/devcontainer.json | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 9157472b..9463a244 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -4,9 +4,12 @@ "dockerfile": "../docker/DockerfileDepsLlvm", }, "runArgs": [ "--cap-add=SYS_PTRACE", "--security-opt", "seccomp=unconfined"], - "settings": {}, - "extensions": [ - "ms-vscode.cpptools" - ], + "customizations": { + "vscode": { + "extensions": [ + "ms-vscode.cpptools" + ] + } + }, "forwardPorts": [4222], }