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

upload devcontainer

pull/7102/head
Nils Dijk 2023-07-27 12:41:44 +00:00
parent 1fc1ec7bf5
commit 3b91ca92cf
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.devcontainer/Dockerfile
View File

@ -110,6 +110,10 @@ RUN ( cd src/test/regress && pipenv install )
# assemble the final container by copying over the artifacts from separately build containers # assemble the final container by copying over the artifacts from separately build containers
FROM base AS devcontainer FROM base AS devcontainer
LABEL org.opencontainers.image.source=https://github.com/citusdata/citus
LABEL org.opencontainers.image.description="Development container for the Citus project"
LABEL org.opencontainers.image.licenses=AGPL-3.0-only
RUN yes | sudo unminimize RUN yes | sudo unminimize
# install developer productivity tools # install developer productivity tools

2
.devcontainer/devcontainer.json
View File

@ -1,5 +1,5 @@
{ {
"image": "citus/devcontainer:dev-20230725", "image": "ghcr.io/citusdata/citus-devcontainer:dev-20230727",
"runArgs": [ "runArgs": [
"--cap-add=SYS_PTRACE", "--cap-add=SYS_PTRACE",
"--security-opt", "--security-opt",