change kitty font
This commit is contained in:
parent
d451540b66
commit
4b0fbf5900
@ -21,6 +21,11 @@ in
|
||||
background = "#323232";
|
||||
background_opacity = 0.8;
|
||||
confirm_os_window_close = 0;
|
||||
font_family = "JetBrainsMono Nerd Font";
|
||||
bold_font = "JetBrainsMono Nerd Font Bold";
|
||||
italic_font = "JetBrainsMono Nerd Font Italic";
|
||||
bold_italic_font = "JetBrainsMono Nerd Font Bold Italic";
|
||||
font_size = 10.0;
|
||||
};
|
||||
};
|
||||
};
|
||||
|
||||
@ -18,6 +18,8 @@ in
|
||||
xdg.portal.enable = true;
|
||||
xdg.portal.extraPortals = [ pkgs.xdg-desktop-portal-gtk ];
|
||||
|
||||
fonts.packages = with pkgs; [ nerd-fonts.jetbrains-mono ];
|
||||
|
||||
environment.systemPackages = with pkgs; [
|
||||
mako
|
||||
wofi
|
||||
@ -33,7 +35,6 @@ in
|
||||
kitty
|
||||
grim
|
||||
slurp
|
||||
font-awesome
|
||||
];
|
||||
};
|
||||
}
|
||||
|
||||
Loading…
Reference in New Issue
Block a user