embed vscode settings in newer supported section for devcontainer

pull/7102/head
Nils Dijk 2023-07-28 13:15:24 +00:00
parent 3b91ca92cf
commit 607bd77eb1
3 changed files with 16 additions and 15 deletions

View File

@ -1,6 +0,0 @@
{
"files.exclude": {
"**/*.o": true,
"**/.deps/": true
}
}

View File

@ -1,5 +1,5 @@
init: ../.vscode/c_cpp_properties.json ../.vscode/launch.json ../.vscode/settings.json init: ../.vscode/c_cpp_properties.json ../.vscode/launch.json
../.vscode: ../.vscode:
mkdir ../.vscode mkdir ../.vscode
@ -9,6 +9,3 @@ init: ../.vscode/c_cpp_properties.json ../.vscode/launch.json ../.vscode/setting
../.vscode/c_cpp_properties.json: ../.vscode ../.vscode/c_cpp_properties.json: ../.vscode
cp .vscode/c_cpp_properties.json ../.vscode/c_cpp_properties.json cp .vscode/c_cpp_properties.json ../.vscode/c_cpp_properties.json
../.vscode/settings.json: ../.vscode
cp .vscode/settings.json ../.vscode/settings.json

View File

@ -6,11 +6,21 @@
"seccomp=unconfined", "seccomp=unconfined",
], ],
"forwardPorts": [9700], "forwardPorts": [9700],
"extensions": [ "customizations": {
"ms-vscode.cpptools", "vscode": {
"ms-vsliveshare.vsliveshare", "extensions": [
"github.vscode-pull-request-github", "ms-vscode.cpptools",
], "ms-vsliveshare.vsliveshare",
"github.vscode-pull-request-github",
],
"settings": {
"files.exclude": {
"**/*.o": true,
"**/.deps/": true,
}
},
}
},
"mounts": [ "mounts": [
"type=volume,target=/data", "type=volume,target=/data",
], ],