diff options
author | devhell <devhell@mailfresser.de> | 2023-01-26 11:59:27 +0000 |
---|---|---|
committer | devhell <devhell@mailfresser.de> | 2023-01-26 11:59:27 +0000 |
commit | 42433e738bb3c317f6ade16299c14ea7a0dcfbef (patch) | |
tree | 92dbb6fb749fb30a28bf0e92e4f15956bea94f6c | |
parent | 8156766c84ce9e96c109b3d3b4dc351e53ed288e (diff) |
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!
-rw-r--r-- | modules/user/devhell/profiles/base.nix | 2 |
1 files changed, 1 insertions, 1 deletions
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 |