File tree Expand file tree Collapse file tree 3 files changed +13
-4
lines changed
Expand file tree Collapse file tree 3 files changed +13
-4
lines changed Original file line number Diff line number Diff line change 1- FROM debian:buster-slim AS miktex
1+ FROM debian:buster-slim AS miktex_min
22
33RUN apt-get update \
44 && DEBIAN_FRONTEND=noninteractive apt-get install -y \
@@ -19,14 +19,20 @@ RUN apt-get update \
1919 && rm -rf /var/lib/apt/lists/* \
2020 && apt-get clean
2121
22+ COPY miktex_ctx/min.txt /tmp/
23+
2224RUN miktexsetup finish \
2325 && initexmf --admin --set-config-value=[MPM]AutoInstall=1 \
2426 && mpm --admin --update-db \
25- && mpm --admin \
26- --install amsfonts \
27- --install biber-linux-x86_64 \
27+ && mpm --admin --install=@/tmp/min.txt \
2828 && initexmf --admin --update-fndb
2929
3030ENV MIKTEX_USERCONFIG=/miktex/.miktex/texmfs/config
3131ENV MIKTEX_USERDATA=/miktex/.miktex/texmfs/data
3232ENV MIKTEX_USERINSTALL=/miktex/.miktex/texmfs/install
33+
34+ FROM miktex_min AS miktex_base
35+
36+ COPY miktex_ctx/base.txt /tmp/
37+
38+ RUN mpm --admin --install=@/tmp/base.txt
Original file line number Diff line number Diff line change 1+ koma-script
Original file line number Diff line number Diff line change 1+ amsfonts
2+ biber-linux-x86_64
You can’t perform that action at this time.
0 commit comments