From 8c6cd894afd87117b1a4bea8df832c14fee4ab8c Mon Sep 17 00:00:00 2001 From: Maarten Weyns Date: Wed, 8 Nov 2023 16:17:46 +0100 Subject: [PATCH] Add python3-yaml apt package --- docker/domserver/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker/domserver/Dockerfile b/docker/domserver/Dockerfile index 400079d2..ced93d97 100644 --- a/docker/domserver/Dockerfile +++ b/docker/domserver/Dockerfile @@ -12,7 +12,7 @@ RUN apt update \ php-gd php-curl php-mysql php-json php-intl \ php-gmp php-xml php-mbstring \ sudo bsdmainutils ntp libcgroup-dev procps \ - python3-venv fontconfig \ + python3-venv python3-yaml fontconfig \ texlive-latex-recommended texlive-latex-extra \ texlive-fonts-recommended texlive-lang-european latexmk tex-gyre \ libcurl4-gnutls-dev libjsoncpp-dev libmagic-dev \