diff --git a/home-manager/users/notgne2.nix b/home-manager/users/notgne2.nix index 1839b1c..126f38a 100644 --- a/home-manager/users/notgne2.nix +++ b/home-manager/users/notgne2.nix @@ -246,9 +246,10 @@ in echo "https://p.gen2.space/uploads/$fileid.$extension" ''; - fonts = { - favFont.name = "Hack Nerd Font Mono"; - favFont.size = 10; + fonts.favFont = { + name = "Anonymice Nerd Font"; + package = pkgs.nerdfonts.override { fonts = [ "AnonymousPro" ]; }; + size = 11; }; colors.baseColors = {