Remove most fonts for now.

This commit is contained in:
Kevin Baensch 2024-11-16 18:29:10 +01:00
parent 5a07580ed3
commit 5a98a03819
Signed by: derped
GPG key ID: C0F1D326C7626543

View file

@ -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"
];
})
];
};
}