add pygments via pip

StarCitizenTools · May 31, 2024 · fe340c7 · fe340c7
1 parent efdeba5
commit fe340c7
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -22,9 +22,16 @@ RUN set -eux; \
   		liblua5.1-0 \
   		libzip4 \
         	s3cmd \
+	 	python3 \
+   		python3-pip \
 	; \
 	rm -rf /var/lib/apt/lists/*
-
+
+# Install the Python packages we need
+RUN set -eux; \
+	pip3 install Pygments \
+ 	;
+
 # Install the PHP extensions we need
 RUN set -eux; \
 	\