From 758b449e3742eabf263172979f00124582306b73 Mon Sep 17 00:00:00 2001 From: Christoph Cullmann Date: Thu, 16 Nov 2023 22:23:02 +0100 Subject: [PATCH] use nerdfonts --- common.nix | 12 +++--------- 1 file changed, 3 insertions(+), 9 deletions(-) diff --git a/common.nix b/common.nix index c20cdf0..cf65899 100644 --- a/common.nix +++ b/common.nix @@ -310,8 +310,8 @@ in fonts = { # more fonts packages = with pkgs; [ - # needed for powerlevel10k zsh stuff - meslo-lgs-nf + # includes nice developer fonts and used by powerlevel10k: https://www.nerdfonts.com/ + nerdfonts # unicode capable fonts babelstone-han @@ -324,19 +324,13 @@ in noto-fonts-cjk-serif noto-fonts-extra noto-fonts-emoji - - # nice mono spaced fonts - fira-code - fira-code-symbols - iosevka-bin - victor-mono ]; # tune fontconfig fontconfig = { # better default fonts defaultFonts = { - monospace = ["Iosevka"]; + monospace = ["IosevkaTerm Nerd Font Mono"]; sansSerif = ["Noto Sans"]; serif = ["Noto Serif"]; };