John Colvin
23794fa30d
Also remove default port bindings in devcontainer (so the "docker in docker" sparkd can use them). It's easy enough to manually bind ports in vs code.
32 lines
810 B
JSON
32 lines
810 B
JSON
{
|
|
"dockerFile": "Dockerfile",
|
|
"hostRequirements": {
|
|
"memory": "8gb",
|
|
"storage": "10gb"
|
|
},
|
|
"containerUser": "bts",
|
|
"updateRemoteUserUID": true,
|
|
"shutdownAction": "none",
|
|
// Note: If running multiple containers on the same host, each must use a
|
|
// unique set of ports. Usually we just add 1000 to each port as needed. For
|
|
// example, if 8000-8003 is taken, go with 9000-9003, then 10000-10003, etc.
|
|
"runArgs": [
|
|
"--shm-size",
|
|
"8gb"
|
|
],
|
|
"mounts": [
|
|
"source=/var/run/docker.sock,target=/var/run/docker.sock,type=bind"
|
|
],
|
|
"customizations": {
|
|
"vscode": {
|
|
"extensions": [
|
|
"eamodio.gitlens",
|
|
"llvm-vs-code-extensions.vscode-clangd",
|
|
"ms-vscode.cmake-tools",
|
|
"ms-vscode.cpptools",
|
|
"xaver.clang-format"
|
|
]
|
|
}
|
|
}
|
|
}
|