From cb7ebcf8c3a0aa0b8132bb92efefa90799850d76 Mon Sep 17 00:00:00 2001 From: oddlama Date: Tue, 5 Sep 2023 15:04:07 +0200 Subject: [PATCH] chore: adjust font size on kitty --- users/myuser/graphical/kitty.nix | 11 +++-------- 1 file changed, 3 insertions(+), 8 deletions(-) diff --git a/users/myuser/graphical/kitty.nix b/users/myuser/graphical/kitty.nix index f08f5c3..b2fe5e1 100644 --- a/users/myuser/graphical/kitty.nix +++ b/users/myuser/graphical/kitty.nix @@ -4,15 +4,10 @@ }; programs.kitty = { enable = true; - package = pkgs.kitty.overrideAttrs (_finalAttrs: _prevAttrs: { - doCheck = false; - }); - font = { - package = pkgs.nerdfonts; - name = "FiraCode Nerd Font"; - size = 10; - }; settings = { + font_family = "FiraCode Nerd Font"; + font_size = 20; + # Do not wait for inherited child processes. close_on_child_death = "yes";