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

bump container

pull/7102/head
Nils Dijk 2023-08-24 12:38:32 +00:00
parent 6780dccffd
commit 603cdf62b0
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.devcontainer/Dockerfile
View File

@ -107,7 +107,7 @@ RUN make install DESTDIR=/uncrustify
FROM base AS pipenv
RUN sudo pip3 install pipenv
RUN sudo pip3 install pipenv pipenv-shebang
WORKDIR /workspaces/citus/
COPY src/ src/
@ -148,6 +148,8 @@ RUN sudo pip3 install pipenv pipenv-shebang
RUN mkdir .bin
ENV PATH="/home/citus/.bin:${PATH}"
RUN echo "cache buster 1"
# install citus-dev
RUN git clone --branch feature/citus-dev-pipenv-shebang https://github.com/citusdata/tools.git citus-tools \
&& ( cd citus-tools/citus_dev && pipenv install ) \