From ad0d655ee17ee974107d8566dfbfae5bf4c07b4f Mon Sep 17 00:00:00 2001 From: alistair3149 Date: Tue, 28 May 2024 14:38:35 -0400 Subject: [PATCH] Locate Pygments --- Dockerfile | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Dockerfile b/Dockerfile index b3fc36e..79934f1 100644 --- a/Dockerfile +++ b/Dockerfile @@ -27,6 +27,10 @@ RUN set -eux; \ ; \ rm -rf /var/lib/apt/lists/* +# Find where the Pygments library is located, because Python directory is not static +# We need it for Extension:SyntaxHighlight +RUN WHERETFRU_PYGMENTS=$(dpkg -L python3-pygments) && echo "$WHERETFRU_PYGMENTS" + # Install the PHP extensions we need RUN set -eux; \ \