external
/
citus
mirror of https://github.com/citusdata/citus.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

use experimental devcontainer till merged

feature/shardgroup
Nils Dijk 2023-11-21 12:59:35 +00:00
parent 6481f7dcd3
commit d30e252c8e
No known key found for this signature in database
GPG Key ID: CA1177EF9434F241
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.devcontainer/devcontainer.json
View File

@ -1,5 +1,5 @@
{
"image": "ghcr.io/citusdata/citus-devcontainer:main",
"image": "ghcr.io/citusdata/citus-devcontainer:devcontainer-citus-load", // TODO revert back before merging
"runArgs": [
"--cap-add=SYS_PTRACE",
],
@ -26,6 +26,7 @@
"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/",