🚧 Install pyenv

Dockerfile-core

@@ -29,14 +29,17 @@ RUN echo "APT::Acquire::Retries \"3\";" > /etc/apt/apt.conf.d/80-retries && \
 RUN echo "setOverrideLogLevel(os.getenv('LOG_LEVEL', 'INFO'))" >/etc/ocrd_logging.py
 
 
-# Install pip (and setuptools)
+# Install pyenv
-# We use get-pip.py here to avoid
+# TODO: do not run as root
-# a. having to upgrade from Ubuntu's pip
+# TODO: does just saying "3.7" work as intended?
-# b. the dreaded "old script wrapper" error message
+ENV HOME=/root
-RUN curl -sSL https://bootstrap.pypa.io/get-pip.py -o get-pip.py && \
+ENV PYENV_ROOT=$HOME/.pyenv
-    python3 get-pip.py && \
+ENV PATH=$PYENV_ROOT/shims:$PYENV_ROOT/bin:$PATH
-    rm -f get-pip.py
+RUN \
-
+    git clone --depth=1 git://github.com/yyuu/pyenv.git .pyenv && \
+    pyenv install 3.7 && \
+    pyenv global 3.7 && \
+    pyenv rehash
 
 # Install pip installable-stuff
 RUN ${PIP_INSTALL} \