sys: gui: nerdfonts: use best developer fonts

xieby1 · Aug 6, 2024 · e032b0a · e032b0a
1 parent 3a68ccb
commit e032b0a
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/sys/gui.nix b/sys/gui.nix
@@ -119,10 +119,15 @@
     noto-fonts-cjk-serif
     noto-fonts-emoji]) ++ (with pkgs; [
     (nerdfonts.override {
+      # The best developer fonts, see https://www.nerdfonts.com/
       fonts = [
+        "Hack"
+        "Meslo"
         "SourceCodePro"
-        "Iosevka"
         "FiraCode"
+        "Terminus"
+        "Iosevka"
+        "Monoid"
         "FantasqueSansMono"
       ];
     })