2023-05-16 19:10:41 +00:00
|
|
|
{ pkgs, ... }: {
|
2023-07-30 17:16:11 +00:00
|
|
|
fonts.packages = with pkgs; [
|
2023-05-16 19:10:41 +00:00
|
|
|
# https://notofonts.github.io/
|
|
|
|
noto-fonts # standard characters
|
|
|
|
noto-fonts-lgc-plus # latin, greek, and cyrillic
|
|
|
|
noto-fonts-cjk # chinese, japanese, and korean
|
|
|
|
noto-fonts-emoji # emojis 🐢
|
|
|
|
|
|
|
|
# https://github.com/tonsky/FiraCode
|
|
|
|
fira-code # standard characters
|
|
|
|
fira-code-symbols # unicode ligature glyphs
|
|
|
|
|
|
|
|
# https://github.com/ryanoasis/nerd-fonts
|
|
|
|
(nerdfonts.override { fonts = [ "FiraCode" ]; })
|
|
|
|
];
|
|
|
|
}
|