FROM ubuntu:18.04 ENV LC_ALL=C.UTF-8 LANG=C.UTF-8 ENV PIP_DEFAULT_TIMEOUT=120 RUN echo "APT::Acquire::Retries \"3\";" > /etc/apt/apt.conf.d/80-retries && \ apt-get update && \ apt-get install -y \ curl xz-utils \ build-essential python3-dev \ # For get-pip.py: python3-distutils \ # For add-apt-repository: software-properties-common \ # XML utils libxml2-utils \ xmlstarlet \ && \ apt-get clean && \ rm -rf /var/lib/apt/lists/* # Set up OCR-D logging RUN echo "setOverrideLogLevel(os.getenv('LOG_LEVEL', 'INFO'))" >/etc/ocrd_logging.py # Install pip (and setuptools) # We use get-pip.py here to avoid # a. having to upgrade from Ubuntu's pip # b. the dreaded "old script wrapper" error message RUN curl -sSL https://bootstrap.pypa.io/get-pip.py -o get-pip.py && \ python3 get-pip.py && \ rm -f get-pip.py # Install pip installable-stuff RUN pip3 install --no-cache-dir \ 'ocrd >= 2.13.1' # Check pip dependencies RUN pip3 check WORKDIR /data # Default command CMD ['ocrd']