2022-06-26 12:47:15 +02:00
|
|
|
{ config, pkgs, ... }:
|
2019-10-19 12:55:35 +02:00
|
|
|
|
2022-06-26 12:47:15 +02:00
|
|
|
{
|
2022-03-30 00:07:31 +02:00
|
|
|
# TODO once nerdfonts 2.2.0 is released switch to NerdFontsSymbolsOnly
|
|
|
|
# Also needs to be added to known fonts in nixpkgs:
|
|
|
|
# https://github.com/NixOS/nixpkgs/blob/nixos-unstable/pkgs/data/fonts/nerdfonts/shas.nix
|
2019-10-21 17:51:57 +02:00
|
|
|
fonts.fonts = with pkgs; [
|
2020-03-24 00:55:49 +01:00
|
|
|
noto-fonts
|
|
|
|
noto-fonts-extra
|
|
|
|
noto-fonts-cjk
|
|
|
|
noto-fonts-emoji
|
2022-03-30 00:07:31 +02:00
|
|
|
# (nerdfonts.override { fonts = [ "NerdFontsSymbolsOnly" ]; })
|
|
|
|
(nerdfonts.override { fonts = [ "FiraCode" ]; })
|
|
|
|
fira-code
|
2019-10-21 17:51:57 +02:00
|
|
|
];
|
2020-09-11 14:58:56 +02:00
|
|
|
fonts.fontconfig.defaultFonts = {
|
|
|
|
serif = [ "Noto Serif" "Noto Color Emoji" ];
|
|
|
|
sansSerif = [ "Noto Sans" "Noto Color Emoji" ];
|
2022-03-30 00:07:31 +02:00
|
|
|
# monospace = [ "Fira Code" "Noto Color Emoji" "Symbols-1000-em Nerd Font" ];
|
|
|
|
# emoji = [ "Noto Color Emoji" "Symbols-1000-em Nerd Font" ];
|
|
|
|
monospace = [ "Fira Code" "Noto Color Emoji" "FiraCode Nerd Font" ];
|
|
|
|
emoji = [ "Noto Color Emoji" "FiraCode Nerd Font" ];
|
2020-09-11 14:58:56 +02:00
|
|
|
};
|
2019-10-19 12:55:35 +02:00
|
|
|
}
|