chore: adjust font size on kitty

This commit is contained in:
oddlama 2023-09-05 15:04:07 +02:00
parent 792c23802c
commit cb7ebcf8c3
No known key found for this signature in database
GPG key ID: 14EFE510775FE39A

View file

@ -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";