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

use pipenv script for citus_dev

pull/7102/head
Nils Dijk 2023-08-24 12:13:42 +00:00
parent 807a4d602c
commit a6cb3f86a8
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.devcontainer/Dockerfile
View File

@ -141,7 +141,7 @@ RUN sudo apt update \
vim \
&& sudo apt clean
RUN sudo pip3 install pipenv pipenv-shebang
RUN sudo pip3 install pipenv
# add some common tools to the final container
# bin directory for user tools
@ -151,7 +151,7 @@ ENV PATH="/home/citus/.bin:${PATH}"
# 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 ) \
&& ln -s /home/citus/citus-tools/citus_dev/citus_dev .bin/ \
&& ln -s /home/citus/citus-tools/citus_dev/citus_dev-pipenv .bin/citus_dev \
&& sudo make -C citus-tools/uncrustify install bindir=/usr/local/bin pkgsysconfdir=/usr/local/etc/
# TODO some LC_ALL errors, possibly solved by locale-gen