mirror of https://github.com/citusdata/citus.git
40 lines
1.2 KiB
JSON
40 lines
1.2 KiB
JSON
{
|
|
"image": "ghcr.io/citusdata/citus-devcontainer:main",
|
|
"runArgs": [
|
|
"--cap-add=SYS_PTRACE",
|
|
"--cap-add=SYS_NICE", // allow NUMA page inquiry
|
|
"--security-opt=seccomp=unconfined", // unblocks move_pages() in the container
|
|
"--ulimit=core=-1",
|
|
],
|
|
"forwardPorts": [
|
|
9700
|
|
],
|
|
"customizations": {
|
|
"vscode": {
|
|
"extensions": [
|
|
"eamodio.gitlens",
|
|
"GitHub.copilot-chat",
|
|
"GitHub.copilot",
|
|
"github.vscode-github-actions",
|
|
"github.vscode-pull-request-github",
|
|
"ms-vscode.cpptools-extension-pack",
|
|
"ms-vsliveshare.vsliveshare",
|
|
"rioj7.command-variable",
|
|
],
|
|
"settings": {
|
|
"files.exclude": {
|
|
"**/*.o": true,
|
|
"**/.deps/": true,
|
|
}
|
|
},
|
|
}
|
|
},
|
|
"mounts": [
|
|
"type=volume,target=/data",
|
|
"source=citus-bashhistory,target=/commandhistory,type=volume",
|
|
],
|
|
"updateContentCommand": "./configure",
|
|
"postCreateCommand": "make -C .devcontainer/",
|
|
}
|
|
|