From fb16e061525cd654f2f88c347bb297fbaa37011f Mon Sep 17 00:00:00 2001 From: "Salvador E. Tropea" Date: Wed, 6 Oct 2021 16:36:10 -0300 Subject: [PATCH] Trying to force pip to use /usr instead of /usr/local --- tools/dev_image/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/dev_image/Dockerfile b/tools/dev_image/Dockerfile index 57208de7..f53b0ce7 100644 --- a/tools/dev_image/Dockerfile +++ b/tools/dev_image/Dockerfile @@ -15,7 +15,7 @@ RUN sed -i -e's/ main/ main contrib non-free/g' /etc/apt/sources.list && \ apt -y install --no-install-recommends ./*.deb && \ curl https://codeload.github.com/INTI-CMNB/KiBot/zip/refs/heads/master --output pp.zip && \ unzip pp.zip && \ - cd KiBot-master ; pip3 install . ; cd .. && \ + cd KiBot-master ; pip3 install --prefix /usr . ; cd .. && \ rm -rf KiBot-master pp.zip && \ apt-get -y remove curl wget python3-pip unzip && \ apt-get -y autoremove && \