From 42433e738bb3c317f6ade16299c14ea7a0dcfbef Mon Sep 17 00:00:00 2001
From: devhell <devhell@mailfresser.de>
Date: Thu, 26 Jan 2023 11:59:27 +0000
Subject: profiles/base: slim down nerdfonts

Apparently `nerdfonts` is blowing up, so let's be more explicit about
which fonts we need from that collection. Thanks, @aszlig!
---
 modules/user/devhell/profiles/base.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/modules/user/devhell/profiles/base.nix b/modules/user/devhell/profiles/base.nix
index 8edfd782..25a7f7af 100644
--- a/modules/user/devhell/profiles/base.nix
+++ b/modules/user/devhell/profiles/base.nix
@@ -162,7 +162,7 @@ in {
         freefont_ttf
         google-fonts
         junicode
-        nerdfonts
+        (nerdfonts.override { fonts = [ "DejaVuSansMono" "CascadiaCode" "FiraMono" "Inconsolata" "NerdFontsSymbolsOnly" "Noto" ]; })
         siji
         tewi-font
         tt2020
-- 
cgit 1.4.1