Fix bbm font in arch dockerfile

2024-04-09 02:26:40 +02:00 · 2024-04-09 02:26:40 +02:00 · 1d4f7690b8
commit 1d4f7690b8
parent 92d5db16b1
1 changed files with 4 additions and 0 deletions
--- a/dockerfiles/Dockerfile.archlinux
+++ b/dockerfiles/Dockerfile.archlinux
@ -16,6 +16,10 @@ RUN mkdir /tmp/home
 RUN chmod -R 777 /tmp/home
 ENV HOME=/tmp/home

+# Generate font necessary for \mathbbm{1}
+RUN mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 bbm10
+RUN chmod -R 777 /tmp/home
+
 # For some reason simply installing 'biber' does not set the path
 ENV PATH="${PATH}:/usr/bin/vendor_perl"