Skip to content

Instantly share code, notes, and snippets.

@jgru
Last active February 21, 2023 15:29
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jgru/74f8d80301f06e2c623cad3fb54a2797 to your computer and use it in GitHub Desktop.
Save jgru/74f8d80301f06e2c623cad3fb54a2797 to your computer and use it in GitHub Desktop.
jgru/latex
# Base image
FROM debian:bullseye-slim
# Install make
RUN apt-get update && \
apt-get install --yes make && \
apt-get install --yes wget && \
apt-get install --yes patch
# TeX environment
RUN apt-get install --yes texlive-full \
texlive-bibtex-extra \
texlive-pictures \
texlive-fonts-extra && \
apt-get purge --yes *-doc && \
apt-get clean --yes && \
rm -rf /var/lib/apt/lists/
# Add tkz-linknodes
RUN mkdir -p /usr/local/share/texmf/tex/latex/prof/
ADD http://mirrors.ctan.org/obsolete/macros/latex/contrib/tkz/tkz-linknodes/latex/tkz-linknodes.sty \
/usr/local/share/texmf/tex/latex/prof/tkz-linknodes.sty
RUN chmod 755 /usr/local/share/texmf/tex/latex/prof/tkz-linknodes.sty
RUN texhash /usr/local/share/texmf/
ARG TEXHOME="/usr/local/share/texmf" # Retrieved via kpsewhich --var-value=TEXMFLOCAL
WORKDIR $TEXHOME
RUN mkdir -p fonts/afm/ltlfonts/ \
&& mkdir -p fonts/pfm/ltlfonts/ \
&& mkdir -p fonts/tfm/ltlfonts/ \
&& mkdir -p fonts/type1/ltlfonts/ \
&& mkdir -p fonts/sfd/ltlfonts/ \
&& mkdir -p fonts/map/dvips/ltlfonts/ \
&& mkdir -p tex/latex/ltlfonts/
WORKDIR /tmp
RUN wget http://theory.stanford.edu/~matteo/ltlfonts/ltlfonts-0.1.2.zip \
&& unzip ltlfonts-0.1.2.zip
RUN cp ltlfonts-0.1.2/afm/ltlfonts.afm $TEXHOME/fonts/afm/ltlfonts/ \
&& cp ltlfonts-0.1.2/pfm/ltlfonts.pfm $TEXHOME/fonts/pfm/ltlfonts/ \
&& cp ltlfonts-0.1.2/tfm/ltlfonts.tfm $TEXHOME/fonts/tfm/ltlfonts/ \
&& cp ltlfonts-0.1.2/type1/ltlfonts.pfb $TEXHOME/fonts/type1/ltlfonts/ \
&& cp ltlfonts-0.1.2/source/ltlfonts.sfd $TEXHOME/fonts/sfd/ltlfonts/ \
&& cp ltlfonts-0.1.2/dvips/ltlfonts.map $TEXHOME/fonts/map/dvips/ltlfonts/ \
&& cp ltlfonts-0.1.2/tex/* $TEXHOME/tex/latex/ltlfonts/
WORKDIR $TEXHOME
RUN mktexlsr && updmap-sys --enable Map=ltlfonts.map
# Add bibtexparser to modify bibliographies programmatically
RUN apt-get update && apt-get install --yes python3-pip
RUN pip3 install bibtexparser
WORKDIR /data
CMD ["make", "all"]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment