diff --git a/ci/docker_images/ubuntu/disco/Dockerfile b/ci/docker_images/ubuntu/disco/Dockerfile index 8f971b63d7921c69c321b6d17f0570272ae94917..c206b411298f99165256c0c4d049a28ca56bfb2d 100644 --- a/ci/docker_images/ubuntu/disco/Dockerfile +++ b/ci/docker_images/ubuntu/disco/Dockerfile @@ -203,9 +203,11 @@ RUN cd /tmp \ && cd - \ && rm -Rf /tmp/graph-tool-2.28 -# fix backports.weakref +# fix some python packages... RUN pip uninstall -y backports.weakref RUN apt-get install --reinstall -y python-backports.weakref +RUN pip uninstall -y configparser +RUN apt-get install --reinstall -y python-configparser # ensure all libraries are known by the runtime linker RUN ldconfig