From ea5e1843b613e6144b43bb013e933a6b760ac005 Mon Sep 17 00:00:00 2001
From: Christoph Cullmann <christoph@cullmann.io>
Date: Thu, 15 Aug 2024 00:59:55 +0200
Subject: [PATCH] better mono space font default

---
 share/common.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/share/common.nix b/share/common.nix
index 44dbc64..7318587 100644
--- a/share/common.nix
+++ b/share/common.nix
@@ -431,7 +431,7 @@ in
       enable = true;
       defaultFonts = {
         emoji = [ "Noto Emoji" ];
-        monospace = [ "RecMonoLinear Nerd Font" "Noto Sans Mono" ];
+        monospace = [ "MonaspiceNe Nerd Font Mono" "Noto Sans Mono" ];
         sansSerif = [ "Inter" "Noto Sans" ];
         serif = [ "Noto Serif" ];
       };