2023-11-17 11:34:15 +00:00
|
|
|
{ pkgs, ... }:
|
|
|
|
{
|
|
|
|
fonts = {
|
2023-12-02 14:48:12 +00:00
|
|
|
enableDefaultPackages = true;
|
2023-11-17 11:34:15 +00:00
|
|
|
|
|
|
|
# extra font packages
|
2023-12-02 14:48:12 +00:00
|
|
|
packages = with pkgs; [
|
2023-11-17 11:34:15 +00:00
|
|
|
corefonts
|
|
|
|
noto-fonts
|
|
|
|
noto-fonts-cjk
|
|
|
|
noto-fonts-emoji
|
|
|
|
noto-fonts-lgc-plus
|
|
|
|
dejavu_fonts
|
|
|
|
liberation_ttf
|
|
|
|
mplus-outline-fonts.githubRelease
|
|
|
|
dina-font
|
|
|
|
proggyfonts
|
|
|
|
open-fonts
|
|
|
|
open-sans
|
|
|
|
gyre-fonts
|
|
|
|
font-awesome
|
|
|
|
source-han-sans
|
|
|
|
vistafonts
|
|
|
|
inconsolata # monospaced
|
|
|
|
vazir-fonts # persian font
|
|
|
|
unifont # some international languages
|
|
|
|
# nerd fonts
|
|
|
|
(nerdfonts.override {
|
|
|
|
fonts = [
|
|
|
|
"Hack"
|
|
|
|
"FiraCode"
|
|
|
|
"DroidSansMono"
|
|
|
|
];
|
|
|
|
})
|
|
|
|
];
|
|
|
|
|
|
|
|
fontDir.enable = true;
|
|
|
|
|
|
|
|
fontconfig = {
|
|
|
|
enable = true;
|
|
|
|
defaultFonts = {
|
|
|
|
serif = [ "Noto Serif" ];
|
|
|
|
sansSerif = [ "Noto Sans" ];
|
|
|
|
emoji = [ "Noto Color Emoji" ];
|
|
|
|
monospace = [ "Noto Sans Mono" "Noto Sans" "Noto Color Emoji" ];
|
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
2023-12-02 14:48:12 +00:00
|
|
|
}
|