From 1f64d3de1e0bd9acc3628e1cddd6e815e4d46d99 Mon Sep 17 00:00:00 2001 From: Terry Lim Date: Wed, 29 May 2024 19:03:32 -0700 Subject: [PATCH] reduce docker image size --- Dockerfile | 19 +++++++++++-------- 1 file changed, 11 insertions(+), 8 deletions(-) diff --git a/Dockerfile b/Dockerfile index b182968a..fceb1e0c 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,12 +1,15 @@ -FROM ubuntu:xenial +FROM debian:stable-slim ENV DEBIAN_FRONTEND noninteractive -RUN apt-get update -q && apt-get install -qy \ - curl jq \ - texlive-full \ - python-pygments gnuplot \ - make git \ - && rm -rf /var/lib/apt/lists/* +RUN echo "deb http://deb.debian.org/debian stable main" > /etc/apt/sources.list && \ + echo "deb http://deb.debian.org/debian stable-updates main" >> /etc/apt/sources.list && \ + echo "deb http://deb.debian.org/debian-security stable-security main" >> /etc/apt/sources.list +RUN apt-get update +RUN apt-get install -qyf \ + curl jq make git \ + python3-pygments gnuplot \ + texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended +RUN rm -rf /var/lib/apt/lists/* WORKDIR /data -VOLUME ["/data"] \ No newline at end of file +VOLUME ["/data"]