John Colvin
461ef53322
* Remove mounted dirs (the repo is automatically persisted in a volume) * Remove user specific shell env initialization scripts (they're more trouble than they're worth, often break the devcontainer build) * Remove redundant settings already defined in settings.json
38 lines
825 B
JSON
38 lines
825 B
JSON
{
|
|
"dockerFile": "Dockerfile",
|
|
"hostRequirements": {
|
|
"memory": "4gb",
|
|
"storage": "6gb"
|
|
},
|
|
"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",
|
|
"2gb",
|
|
"-p",
|
|
"8000:8000",
|
|
"-p",
|
|
"8001:8001",
|
|
"-p",
|
|
"8002:8002",
|
|
"-p",
|
|
"8003:8003",
|
|
"-p",
|
|
"12345:12345"
|
|
],
|
|
"customizations": {
|
|
"vscode": {
|
|
"extensions": [
|
|
"eamodio.gitlens",
|
|
"llvm-vs-code-extensions.vscode-clangd",
|
|
"ms-vscode.cmake-tools",
|
|
"ms-vscode.cpptools"
|
|
]
|
|
}
|
|
}
|
|
}
|