From 2be9f927d3ab4ebc54df3c575ef264dd9c5748e0 Mon Sep 17 00:00:00 2001 From: Nils Dijk Date: Fri, 18 Aug 2023 16:06:20 +0200 Subject: [PATCH] add gdbpg.py to out source on debug --- .devcontainer/.gdbinit | 1 + .devcontainer/Dockerfile | 5 +++++ 2 files changed, 6 insertions(+) create mode 100644 .devcontainer/.gdbinit diff --git a/.devcontainer/.gdbinit b/.devcontainer/.gdbinit new file mode 100644 index 000000000..4e92a256f --- /dev/null +++ b/.devcontainer/.gdbinit @@ -0,0 +1 @@ +source /root/gdbpg.py diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index d9150ae69..40f971b1d 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -180,5 +180,10 @@ RUN sudo chown --from=root:root citus:citus -R ~ # sets default pg version 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 ENV PGPORT=9700