From 2ee5c684ee942bdbc2af8ba3a18c9d4709a43ecd Mon Sep 17 00:00:00 2001 From: Erik Demaine Date: Wed, 9 May 2018 09:34:47 -0400 Subject: [PATCH] Update texcmp (#1297) * Update texcmp I found that the existing docker rules for texcmp did not make a working installation of LaTeX; in particular, it was missing a lot of the recently added packages. I updated to Ubuntu 17.10 and tweaked the package listings until things compiled again. Now I can run texcmp again. * texlive-font-utils not necessary --- dockers/texcmp/Dockerfile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/dockers/texcmp/Dockerfile b/dockers/texcmp/Dockerfile index 4fd692e7..9d74e6f3 100644 --- a/dockers/texcmp/Dockerfile +++ b/dockers/texcmp/Dockerfile @@ -1,4 +1,4 @@ -FROM ubuntu:17.04 +FROM ubuntu:17.10 MAINTAINER Martin von Gagern @@ -11,13 +11,14 @@ RUN sed -i 's/^\(deb.*updates\)/#\1/' /etc/apt/sources.list \ && DEBIAN_FRONTEND=noninteractive \ apt-get install -qy --no-install-recommends \ ca-certificates \ - etoolbox \ ghostscript \ imagemagick \ nodejs \ npm \ + texlive-generic-recommended \ texlive-fonts-recommended \ texlive-latex-base \ + texlive-latex-extra \ && apt-get clean \ && rm -rf /var/lib/apt/lists/* \ && chmod +x /usr/bin/dumb-init