From e5fc8b503e09d95cbf527950e11d687a426ad6a0 Mon Sep 17 00:00:00 2001
From: Aminda Suomalainen <suomalainen+git@mikaela.info>
Date: Sat, 4 Jun 2022 22:26:02 +0300
Subject: [PATCH] conf/foot: cut font to font.ini for easier per-device
 adjustment

---
 conf/foot/font.ini | 2 ++
 conf/foot/foot.ini | 4 +++-
 2 files changed, 5 insertions(+), 1 deletion(-)
 create mode 100644 conf/foot/font.ini

diff --git a/conf/foot/font.ini b/conf/foot/font.ini
new file mode 100644
index 00000000..0f8cfdfa
--- /dev/null
+++ b/conf/foot/font.ini
@@ -0,0 +1,2 @@
+# Font size 7 is comfortable on Lumina
+font=Noto Sans Mono:size=7, Noto Color Emoji
diff --git a/conf/foot/foot.ini b/conf/foot/foot.ini
index a4fa7065..d33248d3 100644
--- a/conf/foot/foot.ini
+++ b/conf/foot/foot.ini
@@ -1,5 +1,7 @@
 # -*- conf -*-
 
+include=~/.config/foot/font.ini
+
 # shell=$SHELL (if set, otherwise user's default shell from /etc/passwd)
 # term=foot (or xterm-256color if built with -Dterminfo=disabled)
 # login-shell=no
@@ -9,7 +11,7 @@
 # locked-title=no
 
 # font=monospace:size=8
-font=Noto Sans Mono:size=7, Noto Color Emoji
+#font=Noto Sans Mono:size=7, Noto Color Emoji
 # font-bold=<bold variant of regular font>
 # font-italic=<italic variant of regular font>
 # font-bold-italic=<bold+italic variant of regular font>