2023-11-04 10:14:42 +00:00
|
|
|
{pkgs, ...}: {
|
2023-09-19 00:17:43 +00:00
|
|
|
# Fonts
|
|
|
|
fonts = {
|
|
|
|
fontDir.enable = true;
|
|
|
|
packages = with pkgs; [
|
2023-10-18 11:03:39 +00:00
|
|
|
### Noto Fonts
|
2023-09-19 00:17:43 +00:00
|
|
|
noto-fonts
|
|
|
|
noto-fonts-cjk-sans
|
|
|
|
noto-fonts-cjk-serif
|
|
|
|
noto-fonts-emoji
|
2023-10-18 11:03:39 +00:00
|
|
|
|
|
|
|
### Source Han
|
2023-09-19 00:17:43 +00:00
|
|
|
source-han-sans
|
|
|
|
source-han-serif
|
|
|
|
source-han-mono
|
2023-10-18 11:03:39 +00:00
|
|
|
|
|
|
|
### CJK
|
2023-09-19 00:17:43 +00:00
|
|
|
#wqy_zenhei # weird font shape, noto sans cjk is a better alternative
|
|
|
|
#wqy_microhei
|
2023-10-18 11:03:39 +00:00
|
|
|
|
|
|
|
### Sans
|
|
|
|
inter
|
2023-09-20 21:21:04 +00:00
|
|
|
roboto
|
2023-10-18 11:03:39 +00:00
|
|
|
|
|
|
|
### Monospace
|
2023-09-19 00:17:43 +00:00
|
|
|
fira-code
|
|
|
|
jetbrains-mono
|
2023-10-18 11:03:39 +00:00
|
|
|
(nerdfonts.override {
|
|
|
|
fonts = [
|
|
|
|
"FiraCode"
|
|
|
|
"JetBrainsMono"
|
|
|
|
"NerdFontsSymbolsOnly"
|
|
|
|
];
|
|
|
|
})
|
2023-09-19 00:17:43 +00:00
|
|
|
];
|
|
|
|
fontconfig = {
|
|
|
|
cache32Bit = true;
|
|
|
|
defaultFonts = {
|
2023-11-04 10:14:42 +00:00
|
|
|
emoji = ["Noto Color Emoji"];
|
|
|
|
serif = ["Noto Serif"];
|
|
|
|
sansSerif = ["Inter" "Noto Sans"];
|
|
|
|
monospace = ["JetBrainsMono Nerd Font" "JetBrains Mono" "FiraCode Nerd Font" "Fira Code" "Noto Sans Mono"];
|
2023-09-19 00:17:43 +00:00
|
|
|
};
|
|
|
|
};
|
2023-10-15 00:51:56 +00:00
|
|
|
# fontconfig is too limited here, and appling it globally is **bad**, use Home Manager instead
|
2023-09-19 00:17:43 +00:00
|
|
|
};
|
|
|
|
}
|