From 719ed75eff933291640e9cbb19cf08c40dff9d44 Mon Sep 17 00:00:00 2001 From: Robert Hartmann <robert.hartmann@h-brs.de> Date: Wed, 10 May 2023 11:33:15 +0000 Subject: [PATCH] Update Dockerfile ... do not install latex via apt first just to remove it later --- Dockerfile | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/Dockerfile b/Dockerfile index b966107..b2b0720 100644 --- a/Dockerfile +++ b/Dockerfile @@ -11,7 +11,7 @@ ARG USER_GECOS=courses ARG DEBIAN_FRONTEND=noninteractive ENV TZ=Europe/Berlin -ARG TEX=texlive-full +# ARG TEX=texlive-full # do not use texlive from distibution package manager # ARG PDFTEX=texlive-extra-utils ARG MAKE=make #ARG JAVA=openjdk-11-jdk-headless @@ -30,7 +30,6 @@ RUN adduser \ RUN echo 'Acquire::http::Proxy "http://www-cache.inf.h-brs.de:8080";' >> /etc/apt/apt.conf && \ apt-get update && apt-get install -y \ - "$TEX" \ "$JAVA" \ "$GCC" \ "$GIT" \ @@ -55,7 +54,7 @@ ENV LC_ALL en_US.UTF-8 RUN echo "Multiline Command: fight against xcolor bug: preparing up to date TeXLive environment" && \ apt install perl -y && \ - apt purge latex* texlive* -y && \ + apt purge latex* texlive* -y || /bin/true && \ apt remove texlive -y || /bin/true && \ apt remove tex-common -y || /bin/true && \ rm -rf /usr/local/texliv* || /bin/true && \ -- GitLab