From 4186d49ed45f92099c0fdfa542e3b1ea0a0959c1 Mon Sep 17 00:00:00 2001
From: maralorn <mail@maralorn.de>
Date: Fri, 17 Mar 2023 16:47:51 +0100
Subject: [PATCH] Use Nerdfont

---
 home-manager/roles/terminal.nix | 2 +-
 nixos/roles/fonts.nix           | 3 ++-
 overlays/nerdfonts.nix          | 2 +-
 3 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/home-manager/roles/terminal.nix b/home-manager/roles/terminal.nix
index d9aff1b8..206b4cdb 100644
--- a/home-manager/roles/terminal.nix
+++ b/home-manager/roles/terminal.nix
@@ -12,7 +12,7 @@
   programs.foot = {
     settings = {
       main = {
-        font = "CozetteVector:pixelsize=12";
+        font = "Symbols Nerd Font Mono:pixelsize=12,CozetteVector:pixelsize=12";
         include = toString (pkgs.writeText "foot-theme" ''
           ${builtins.readFile "${pkgs.foot.themes}/share/foot/themes/catppuccin"}
           background=000000
diff --git a/nixos/roles/fonts.nix b/nixos/roles/fonts.nix
index a4167422..98b0df56 100644
--- a/nixos/roles/fonts.nix
+++ b/nixos/roles/fonts.nix
@@ -11,7 +11,7 @@
       defaultFonts = let
         unicode-fallback = ["Noto Sans Symbols" "Noto Sans Symbols2"];
       in {
-        monospace = ["CozetteVector" "Noto Sans Mono"] ++ unicode-fallback;
+        monospace = ["Symbols Nerd Font Mono" "CozetteVector" "Noto Sans Mono"] ++ unicode-fallback;
         sansSerif = ["B612" "Noto Sans"] ++ unicode-fallback;
         serif = ["Libertinus Serif" "Noto Serif"] ++ unicode-fallback;
       };
@@ -59,6 +59,7 @@
         noto-fonts
         # for unicode fallback
         
+        nerdfonts
         ;
     };
   };
diff --git a/overlays/nerdfonts.nix b/overlays/nerdfonts.nix
index 4e7c5cfe..e1996efd 100644
--- a/overlays/nerdfonts.nix
+++ b/overlays/nerdfonts.nix
@@ -1,3 +1,3 @@
 self: super: {
-  nerdfonts = super.nerdfonts.override {fonts = ["JetBrainsMono"];};
+  nerdfonts = super.nerdfonts.override {fonts = ["NerdFontsSymbolsOnly"];};
 }