2023-11-04 12:49:54 +00:00
|
|
|
{pkgs, ...}: {
|
2023-11-05 11:26:09 +00:00
|
|
|
fonts.fontconfig.enable = true;
|
2023-11-04 12:49:54 +00:00
|
|
|
home.packages = with pkgs; [
|
|
|
|
|
### Noto Fonts
|
|
|
|
|
noto-fonts
|
|
|
|
|
noto-fonts-cjk-sans
|
|
|
|
|
noto-fonts-cjk-serif
|
|
|
|
|
noto-fonts-emoji
|
|
|
|
|
|
|
|
|
|
### Source Han
|
|
|
|
|
source-han-sans
|
|
|
|
|
source-han-serif
|
|
|
|
|
source-han-mono
|
|
|
|
|
|
|
|
|
|
### Sans
|
|
|
|
|
inter
|
|
|
|
|
roboto
|
|
|
|
|
|
|
|
|
|
### Monospace
|
|
|
|
|
fira-code
|
|
|
|
|
jetbrains-mono
|
|
|
|
|
(nerdfonts.override {
|
|
|
|
|
fonts = [
|
|
|
|
|
"FiraCode"
|
|
|
|
|
"JetBrainsMono"
|
|
|
|
|
"NerdFontsSymbolsOnly"
|
|
|
|
|
];
|
|
|
|
|
})
|
|
|
|
|
];
|
|
|
|
|
}
|
