From 1d4f7690b8320600642ddbae0baf17abaec2524e Mon Sep 17 00:00:00 2001
From: Andreas Tsouchlos <an.tsouchlos@gmail.com>
Date: Tue, 9 Apr 2024 02:26:40 +0200
Subject: [PATCH] Fix bbm font in arch dockerfile

---
 dockerfiles/{Dockerfile.archlinux => Dockerfile.arch} | 4 ++++
 1 file changed, 4 insertions(+)
 rename dockerfiles/{Dockerfile.archlinux => Dockerfile.arch} (85%)

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"