Skip to content

Commit

Permalink
Merge pull request #36 from jemand771/pin-python-version
Browse files Browse the repository at this point in the history
pin python version to 3.10
  • Loading branch information
jemand771 authored Feb 9, 2023
2 parents b6edae7 + d40d809 commit 81dd8eb
Showing 1 changed file with 6 additions and 6 deletions.
12 changes: 6 additions & 6 deletions Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,8 @@ RUN apt-get update &&\
biber \
inkscape \
libwxgtk3.0-gtk3-dev \
python3 \
python-is-python3 \
python3.10 \
python3-pip \
texlive-bibtex-extra \
texlive-extra-utils \
Expand All @@ -48,16 +49,15 @@ RUN apt-get update &&\
&& \
rm -rf /var/lib/apt/lists/*

# NOTE on python-is-python3 minted expects "python" in PATH (not "python3")
# without this, things like autogobble with \inputminted break
# https://github.com/alexpovel/latex-extras-docker/blob/5429a82ef415c2e9eda0c20f71e7df63b51621e9/Dockerfile#L80-L87

# install custom pygments lexers
WORKDIR /usr/local/lib/python3.10/dist-packages/pygments/lexers
COPY pygments-lexers/* .
RUN python3 _mapping.py

# minted expects "python" in PATH (not "python3")
# without this, things like autogobble with \inputminted break
# https://github.com/alexpovel/latex-extras-docker/blob/5429a82ef415c2e9eda0c20f71e7df63b51621e9/Dockerfile#L80-L87
RUN ln -s /usr/bin/python3 /usr/bin/python

ADD https://raw.githubusercontent.com/aclements/latexrun/master/latexrun /latexrun.py
# allow non-root container run
RUN chmod 644 /latexrun.py
Expand Down

0 comments on commit 81dd8eb

Please sign in to comment.