From 3fb875f03eae8f52cc7d61a309878c9f1941383e Mon Sep 17 00:00:00 2001 From: Terry Lim Date: Fri, 14 Jun 2024 11:48:36 -0700 Subject: [PATCH] reduce docker image size (#66) Co-authored-by: Terry Lim --- Dockerfile | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) diff --git a/Dockerfile b/Dockerfile index 46db5998..fceb1e0c 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,12 +1,15 @@ -FROM ubuntu:noble +FROM debian:stable-slim ENV DEBIAN_FRONTEND noninteractive -RUN apt-get update -q && apt-get install -qy \ - curl jq \ - texlive-full \ +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 \ - make git \ - && rm -rf /var/lib/apt/lists/* + texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended +RUN rm -rf /var/lib/apt/lists/* WORKDIR /data VOLUME ["/data"]