fix: rename nerdfonts

This commit is contained in:
Moritz Böhme 2024-12-14 23:19:13 +01:00
parent f5c9c70b08
commit 0fa1d5d2e7
Signed by: moritz
GPG key ID: 970C6E89EB0547A9
2 changed files with 3 additions and 7 deletions

View file

@ -35,9 +35,7 @@ in
font-size = "20"; font-size = "20";
font = font =
let let
fontBasePath = pkgs.nerdfonts.override { fontBasePath = pkgs.nerd-fonts.fira-code;
fonts = [ "FiraCode" ];
};
in in
"${fontBasePath}/share/fonts/truetype/NerdFonts/FiraCodeNerdFont-Regular.ttf"; "${fontBasePath}/share/fonts/truetype/NerdFonts/FiraCodeNerdFont-Regular.ttf";
height = "360"; height = "360";

View file

@ -255,10 +255,8 @@ in
fonts = { fonts = {
enableDefaultPackages = true; enableDefaultPackages = true;
packages = [ packages = [
(pkgs.nerdfonts.override { pkgs.nerd-fonts.fira-code
fonts = [ "FiraCode" ]; pkgs.nerd-fonts.intone-mono
})
pkgs.master.intel-one-mono
]; ];
}; };