FROM ubuntu:20.04 ARG UID=1000 ARG GID=1000 ENV DEBIAN_FRONTEND=noninteractive RUN apt-get clean RUN apt-get update && \ apt-get install -y -o Acquire::Retries=10 \ curl \ make \ python3-pip RUN groupadd -g "${GID}" jenkins && \ useradd --create-home --no-log-init -u "${UID}" -g "${GID}" jenkins USER jenkins RUN mkdir -p "/home/jenkins/.local/bin" && \ cd "/home/jenkins/.local/bin" && \ curl -o- https://raw.githubusercontent.com/transifex/cli/master/install.sh | bash ENV PATH="/home/jenkins/.local/bin:${PATH}" RUN pip3 install --upgrade sphinx==6.2.1 RUN pip3 install sphinx-intl==2.1.0 sphinx-rtd-theme==1.2.2 myst-parser==2.0.0