From 8e0e9a864bc0388b3342de61639eba69d9f03ad2 Mon Sep 17 00:00:00 2001 From: buffet Date: Fri, 21 Jul 2023 09:35:46 +0200 Subject: [PATCH] feat(foot): fix font size --- fanya/default.nix | 10 +++++++++- programs/foot.nix | 2 +- 2 files changed, 10 insertions(+), 2 deletions(-) diff --git a/fanya/default.nix b/fanya/default.nix index 624018f..c929e45 100644 --- a/fanya/default.nix +++ b/fanya/default.nix @@ -1,4 +1,4 @@ -_: let +{lib, ...}: let password = "$6$FHwMlUwmRdAsPqS4$4XND0L0EEVf2Mhc/tvo6y3ZLIrMTOlsIZrG3w69EeXvtVZhdeNyoDOkPNIe.GBB8.PrchuUKDacqbvcvyuPkt0"; in { imports = [ @@ -15,4 +15,12 @@ in { networking.hostName = "fanya"; services.tlp.enable = true; + + home-manager.users.buffet = { + programs.foot = let + theme = import ../theme.nix; + in { + settings.main.font = lib.mkForce "${theme.font.family}:size=${toString (theme.font.size - 1)}"; + }; + }; } diff --git a/programs/foot.nix b/programs/foot.nix index c2f6cf6..f4a90ee 100644 --- a/programs/foot.nix +++ b/programs/foot.nix @@ -11,7 +11,7 @@ bright = dehash theme.bright; in { main = { - font = "${theme.font.family}:size=${toString (theme.font.size - 1)}"; + font = "${theme.font.family}:size=${toString (theme.font.size - 2)}"; #font-italic = "${theme.font.family}:size=${toString (theme.font.size - 2)}"; #font-bold-italic = "${theme.font.family}:style=Bold:size=${toString (theme.font.size - 2)}"; pad = "${toString theme.font.size}x${toString theme.font.size}";