mirror of https://github.com/citusdata/citus.git
35 lines
1.1 KiB
JSON
35 lines
1.1 KiB
JSON
{
|
|
"image": "ghcr.io/citusdata/citus-devcontainer:devcontainer-citus-load", // TODO revert back before merging
|
|
"runArgs": [
|
|
"--cap-add=SYS_PTRACE",
|
|
],
|
|
"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",
|
|
"mutantdino.resourcemonitor", // decide if we want to keep this
|
|
],
|
|
"settings": {
|
|
"files.exclude": {
|
|
"**/*.o": true,
|
|
"**/.deps/": true,
|
|
}
|
|
},
|
|
}
|
|
},
|
|
"mounts": [
|
|
"type=volume,target=/data",
|
|
"source=citus-bashhistory,target=/commandhistory,type=volume",
|
|
"source=citus_load_cache,target=/home/citus/.local/share/citus_load/,type=volume",
|
|
],
|
|
"updateContentCommand": "./configure",
|
|
"postCreateCommand": "make -C .devcontainer/",
|
|
}
|