switch noto to nerd font variant

This commit is contained in:
Sean Kovacs 2025-11-23 16:39:19 -05:00
commit 61e020288c
Signed by: sckova
GPG key ID: 00F325187C68651A
4 changed files with 4 additions and 3 deletions

View file

@ -11,7 +11,7 @@
enable = true; enable = true;
editor = { editor = {
font = { font = {
family = "Noto Sans Mono"; family = "NotoSansM Nerd Font Mono";
pointSize = 10; pointSize = 10;
}; };
}; };

View file

@ -4,7 +4,7 @@
enableGitIntegration = true; enableGitIntegration = true;
themeFile = "Catppuccin-Mocha"; themeFile = "Catppuccin-Mocha";
font = { font = {
name = "Noto Sans Mono"; name = "NotoSansM Nerd Font Mono";
size = 10; size = 10;
}; };
shellIntegration = { shellIntegration = {

View file

@ -3,7 +3,7 @@
border: none; border: none;
border-radius: 0; border-radius: 0;
min-height: 0; min-height: 0;
font-family: "Noto Sans"; font-family: "NotoSansM Nerd Font Mono";
/*font-weight: bold;*/ /*font-weight: bold;*/
font-size: 12px; font-size: 12px;
padding: 0; padding: 0;

View file

@ -157,6 +157,7 @@
inputs.kwin-effects-forceblur.packages.${pkgs.stdenv.hostPlatform.system}.default inputs.kwin-effects-forceblur.packages.${pkgs.stdenv.hostPlatform.system}.default
firefoxpwa firefoxpwa
distrobox distrobox
nerd-fonts.noto
]; ];
plasma6.excludePackages = with pkgs.kdePackages; [ plasma6.excludePackages = with pkgs.kdePackages; [