diff --git a/dockerfiles/Dockerfile.archlinux b/dockerfiles/Dockerfile.arch similarity index 85% rename from dockerfiles/Dockerfile.archlinux rename to dockerfiles/Dockerfile.arch index 4652a45..c318f21 100644 --- a/dockerfiles/Dockerfile.archlinux +++ b/dockerfiles/Dockerfile.arch @@ -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"