feat(fonts): switch to new Symbols Nerd Font

This commit is contained in:
Felix Schröter 2022-10-30 15:24:04 +01:00
parent 385b95653e
commit 6d734f9f38
Signed by: felschr
GPG key ID: 671E39E6744C807D

View file

@ -1,24 +1,18 @@
{ config, pkgs, ... }: { config, pkgs, ... }:
{ {
# 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
fonts.fonts = with pkgs; [ fonts.fonts = with pkgs; [
noto-fonts noto-fonts
noto-fonts-extra noto-fonts-extra
noto-fonts-cjk noto-fonts-cjk
noto-fonts-emoji noto-fonts-emoji
# (nerdfonts.override { fonts = [ "NerdFontsSymbolsOnly" ]; }) (nerdfonts.override { fonts = [ "NerdFontsSymbolsOnly" ]; })
(nerdfonts.override { fonts = [ "FiraCode" ]; })
fira-code fira-code
]; ];
fonts.fontconfig.defaultFonts = { fonts.fontconfig.defaultFonts = {
serif = [ "Noto Serif" "Noto Color Emoji" ]; serif = [ "Noto Serif" "emoji" ];
sansSerif = [ "Noto Sans" "Noto Color Emoji" ]; sansSerif = [ "Noto Sans" "emoji" ];
# monospace = [ "Fira Code" "Noto Color Emoji" "Symbols-1000-em Nerd Font" ]; monospace = [ "Fira Code" "emoji" ];
# emoji = [ "Noto Color Emoji" "Symbols-1000-em Nerd Font" ]; emoji = [ "Noto Color Emoji" "Symbols Nerd Font Mono" ];
monospace = [ "Fira Code" "Noto Color Emoji" "FiraCode Nerd Font" ];
emoji = [ "Noto Color Emoji" "FiraCode Nerd Font" ];
}; };
} }