From 643e2a1cdae8cdc881bc9f99f17176cfe78ee29b Mon Sep 17 00:00:00 2001 From: Takashi Tamura Date: Wed, 16 Feb 2022 13:42:51 +0900 Subject: [PATCH] Install pygments and minted [skip ci] --- .devcontainer/sid/Dockerfile | 3 ++- .devcontainer/stable/Dockerfile | 3 ++- samples/docker/.devcontainer/Dockerfile | 3 ++- 3 files changed, 6 insertions(+), 3 deletions(-) diff --git a/.devcontainer/sid/Dockerfile b/.devcontainer/sid/Dockerfile index b212d4d80..542a21206 100644 --- a/.devcontainer/sid/Dockerfile +++ b/.devcontainer/sid/Dockerfile @@ -18,7 +18,8 @@ RUN apt-get update && apt-get -y upgrade \ && apt-get -y install --no-install-recommends \ texlive-latex-base \ texlive-extra-utils \ - biber chktex latexmk make \ + texlive-latex-extra \ + biber chktex latexmk make python3-pygments \ texlive-lang-chinese \ texlive-lang-japanese diff --git a/.devcontainer/stable/Dockerfile b/.devcontainer/stable/Dockerfile index 0cc7835ea..50b03c2a1 100644 --- a/.devcontainer/stable/Dockerfile +++ b/.devcontainer/stable/Dockerfile @@ -23,7 +23,8 @@ RUN apt-get update && apt-get -y upgrade \ && apt-get -y install --no-install-recommends \ texlive-latex-base \ texlive-extra-utils \ - biber chktex latexmk make \ + texlive-latex-extra \ + biber chktex latexmk make python3-pygments \ texlive-lang-chinese \ texlive-lang-japanese diff --git a/samples/docker/.devcontainer/Dockerfile b/samples/docker/.devcontainer/Dockerfile index 0c8873338..639c57210 100644 --- a/samples/docker/.devcontainer/Dockerfile +++ b/samples/docker/.devcontainer/Dockerfile @@ -17,7 +17,8 @@ RUN apt-get update && apt-get -y upgrade \ && apt-get -y install --no-install-recommends \ texlive-latex-base \ texlive-extra-utils \ - biber chktex latexmk make \ + texlive-latex-extra \ + biber chktex latexmk make python3-pygments python3-pkg-resources \ texlive-lang-chinese \ texlive-lang-japanese