From 88267a0897e8cdb08c34ad4a0e3cf3729d1568a6 Mon Sep 17 00:00:00 2001
From: Erwin Boskma <erwin@datarift.nl>
Date: Tue, 10 Sep 2024 19:27:46 +0200
Subject: [PATCH] foot: Make font size configurable

---
 home-manager/modules/foot/default.nix | 7 ++++++-
 users/erwin/work.nix                  | 1 +
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/home-manager/modules/foot/default.nix b/home-manager/modules/foot/default.nix
index 960ebb0..bd073cd 100644
--- a/home-manager/modules/foot/default.nix
+++ b/home-manager/modules/foot/default.nix
@@ -12,6 +12,11 @@ in
   options.eboskma.programs.foot = {
     enable = mkEnableOption "activate foot";
     server = mkEnableOption "enable foot server";
+    fontSize = mkOption {
+      description = "font size";
+      type = types.int;
+      default = 12;
+    };
   };
 
   config = mkIf cfg.enable {
@@ -21,7 +26,7 @@ in
 
       settings = {
         main = {
-          font = "Iosevka Nerd Font:size=16, Twitter Color Emoji:size=12";
+          font = "Iosevka Nerd Font:size=${toString cfg.fontSize}, Twitter Color Emoji:size=${toString cfg.fontSize}";
           dpi-aware = "no";
         };
 
diff --git a/users/erwin/work.nix b/users/erwin/work.nix
index 0eb793c..bf33f04 100644
--- a/users/erwin/work.nix
+++ b/users/erwin/work.nix
@@ -66,6 +66,7 @@ in
           foot = {
             enable = true;
             server = false;
+            fontSize = 16;
           };
           git = {
             enable = true;