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

add gdbpg.py to out source on debug

pull/7102/head
Nils Dijk 2023-08-18 16:06:20 +02:00
parent c953700c2c
commit 2be9f927d3
2 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.devcontainer/.gdbinit Normal file
View File

@ -0,0 +1 @@
source /root/gdbpg.py

5
.devcontainer/Dockerfile
View File

@ -180,5 +180,10 @@ RUN sudo chown --from=root:root citus:citus -R ~
# sets default pg version # sets default pg version
RUN pgenv switch 16beta3 RUN pgenv switch 16beta3
USER root
RUN curl -o /root/gdbpg.py https://raw.githubusercontent.com/tvesely/gdbpg/master/gdbpg.py
COPY .gdbinit /root/
USER citus
# make connecting to the coordinator easy # make connecting to the coordinator easy
ENV PGPORT=9700 ENV PGPORT=9700