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

use stable release of pgenv

pull/7102/head
Nils Dijk 2023-09-05 12:40:59 +02:00
parent 497807a6b7
commit b44ccb24d3
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.devcontainer/Dockerfile
View File

@ -47,7 +47,7 @@ RUN useradd -ms /bin/bash citus \
WORKDIR /home/citus WORKDIR /home/citus
USER citus USER citus
RUN git clone https://github.com/theory/pgenv.git .pgenv RUN git clone --branch v1.3.2 --depth 1 https://github.com/theory/pgenv.git .pgenv
COPY --chown=citus:citus pgenv/config/ .pgenv/config/ COPY --chown=citus:citus pgenv/config/ .pgenv/config/
ENV PATH="/home/citus/.pgenv/bin:${PATH}" ENV PATH="/home/citus/.pgenv/bin:${PATH}"
ENV PATH="/home/citus/.pgenv/pgsql/bin:${PATH}" ENV PATH="/home/citus/.pgenv/pgsql/bin:${PATH}"