From ebe15210395fd5f3da5a982c32fc1e674014d9ec Mon Sep 17 00:00:00 2001 From: Nils Dijk Date: Thu, 24 Aug 2023 12:13:42 +0000 Subject: [PATCH] use pipenv script for citus_dev --- .devcontainer/Dockerfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index 40f971b1dc3..66eaf302df5 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -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