From c3858068bd5aabedfee49b8c91a8f1884f0b411e Mon Sep 17 00:00:00 2001
From: notgne2 <gen2@gen2.space>
Date: Thu, 13 Jan 2022 13:07:19 -0700
Subject: [PATCH] switch to a new font

---
 home-manager/users/notgne2.nix | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

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 = {