From 0d122d5914c2c055030766e30483b3ce8c2229db Mon Sep 17 00:00:00 2001 From: Yorick Barbanneau Date: Fri, 22 Nov 2024 15:46:17 +0100 Subject: [PATCH] feat(foot): make font family and font size customizable --- modules/home-manager/application/foot/default.nix | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/modules/home-manager/application/foot/default.nix b/modules/home-manager/application/foot/default.nix index 0d1255e..1e65d1a 100644 --- a/modules/home-manager/application/foot/default.nix +++ b/modules/home-manager/application/foot/default.nix @@ -12,6 +12,17 @@ in default = 2500; description = "numbers of scrollback lines in history"; }; + font-family = mkOption { + type = types.str; + default = "Fira Code Nerd Font"; + description = "font family used in Foot"; + }; + + font-size = mkOption { + type = types.str; + default = "10"; + description = "font size used in Foot"; + }; }; config = mkIf cfg.enable { @@ -19,7 +30,7 @@ in enable = true; settings = { main = { - font = "Fira Code Nerd Font Mono:size=10"; + font = "${cfg.font-family}:size=${cfg.font-size}"; pad = "5x5 center"; }; mouse = {