chore: Update devcontainer.json

The format has changed slightly.
This commit is contained in:
Idan Gazit 2023-11-23 21:02:22 -08:00 committed by GitHub
parent 0a4b1a6533
commit f77e38f2b9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -13,9 +13,13 @@
"type=volume,source=zmk-zephyr-modules,target=${containerWorkspaceFolder}/modules", "type=volume,source=zmk-zephyr-modules,target=${containerWorkspaceFolder}/modules",
"type=volume,source=zmk-zephyr-tools,target=${containerWorkspaceFolder}/tools" "type=volume,source=zmk-zephyr-tools,target=${containerWorkspaceFolder}/tools"
], ],
"extensions": ["ms-vscode.cpptools"], "customizations": {
"settings": { "vscode": {
"terminal.integrated.shell.linux": "/bin/bash" "extensions": ["ms-vscode.cpptools"],
"settings": {
"terminal.integrated.shell.linux": "/bin/bash"
}
}
}, },
"forwardPorts": [3000] "forwardPorts": [3000]
} }