From 5a98a03819e9e8c6c34ad15cc7f12707cf63da3b Mon Sep 17 00:00:00 2001 From: derped Date: Sat, 16 Nov 2024 18:29:10 +0100 Subject: [PATCH] Remove most fonts for now. --- config/fonts.nix | 32 +++++--------------------------- 1 file changed, 5 insertions(+), 27 deletions(-) diff --git a/config/fonts.nix b/config/fonts.nix index bd61f1f..a208f1d 100644 --- a/config/fonts.nix +++ b/config/fonts.nix @@ -11,36 +11,14 @@ with lib; enableGhostscriptFonts = true; fontconfig = { enable = true; - # deprecated (will eventually be completely removed) - # ultimate.enable = true; includeUserConf = false; }; packages = with pkgs; [ - arphic-ukai - arphic-uming - crimson - corefonts # Microsoft free fonts - dejavu_fonts - font-awesome - inconsolata # monospaced - inter - manrope - montserrat - nerdfonts - noto-fonts - noto-fonts-cjk - noto-fonts-emoji - noto-fonts-extra - powerline-fonts - source-han-sans-japanese - source-han-sans-korean - source-han-sans-simplified-chinese - source-han-sans-traditional-chinese - # source-sans-pro - symbola - ubuntu_font_family - wqy_microhei - wqy_zenhei + (nerdfonts.override { + fonts = [ + "JetBrainsMono" + ]; + }) ]; }; }