switch noto to nerd font variant
This commit is contained in:
parent
002d8733d4
commit
f5fcea00d7
4 changed files with 4 additions and 3 deletions
|
|
@ -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;
|
||||||
};
|
};
|
||||||
};
|
};
|
||||||
|
|
|
||||||
|
|
@ -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 = {
|
||||||
|
|
|
||||||
|
|
@ -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;
|
||||||
|
|
|
||||||
|
|
@ -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; [
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue