2024-06-12 09:54:11 +07:00
|
|
|
{ pkgs, ... }:
|
|
|
|
{
|
|
|
|
fonts = {
|
|
|
|
packages = with pkgs;
|
|
|
|
[
|
|
|
|
# icon fonts
|
|
|
|
material-design-icons
|
|
|
|
|
|
|
|
# normal fonts
|
|
|
|
noto-fonts
|
|
|
|
noto-fonts-cjk
|
|
|
|
noto-fonts-emoji
|
|
|
|
noto-fonts-color-emoji
|
|
|
|
|
2024-07-11 12:30:25 +07:00
|
|
|
nerdfonts
|
|
|
|
|
|
|
|
# (nerdfonts.override {
|
|
|
|
# fonts = [ "FiraCode" "JetBrainsMono" "Iosevka" ];
|
|
|
|
# })
|
2024-06-12 09:54:11 +07:00
|
|
|
];
|
|
|
|
|
|
|
|
# use fonts specified by user rather than default ones
|
|
|
|
enableDefaultPackages = false;
|
|
|
|
|
|
|
|
# user defined fonts
|
|
|
|
# the reason there's Noto Color Emoji everywhere is to override DejaVu's
|
|
|
|
# B&W emojis that would sometimes show instead of some Color emojis
|
|
|
|
fontconfig.defaultFonts = {
|
|
|
|
serif = [ "Noto Serif" "Noto Color Emoji" ];
|
|
|
|
sansSerif = [ "Noto Sans" "Noto Color Emoji" ];
|
|
|
|
monospace = [ "JetBrainsMono Nerd Font" "Noto Color Emoji" ];
|
|
|
|
emoji = [ "Noto Color Emoji" ];
|
|
|
|
};
|
|
|
|
};
|
|
|
|
}
|