From 3eb2d5e5ca62ea52a596b2bd5e70bcee3ef21b21 Mon Sep 17 00:00:00 2001 From: Martin Weinelt Date: Thu, 20 Jun 2019 13:12:41 +0200 Subject: [PATCH] jenkins: Dockerfile: install docs dependencies --- contrib/ci/jenkins-community-slave/Dockerfile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/contrib/ci/jenkins-community-slave/Dockerfile b/contrib/ci/jenkins-community-slave/Dockerfile index ed563b1a..1ada00f9 100644 --- a/contrib/ci/jenkins-community-slave/Dockerfile +++ b/contrib/ci/jenkins-community-slave/Dockerfile @@ -5,8 +5,8 @@ USER root # this is needed to install default-jre-headless in debian slim images RUN mkdir -p /usr/share/man/man1 -RUN apt-get update && apt-get install -y default-jre-headless curl python python-pip git -RUN pip install jenkins-webapi +RUN apt-get update && apt-get install -y default-jre-headless curl python3 python3-pip python3-sphinx git +RUN pip3 install jenkins-webapi sphinx_rtd_theme # Get docker-compose in the agent container RUN mkdir -p /home/jenkins @@ -30,4 +30,4 @@ ENV SLAVE_LABELS "docker" ENV SLAVE_WORING_DIR "" ENV CLEAN_WORKING_DIR "true" -CMD [ "python", "-u", "/var/lib/jenkins/slave.py" ] +CMD [ "python3", "-u", "/var/lib/jenkins/slave.py" ]