pinwheel: Set foot fontsize to 10

2023-08-18 23:20:45 +02:00
parent 1cbeb74754
commit 98e88e3fbb
2 changed files with 1 additions and 1 deletions
--- a/hosts/pinwheel/home.nix
+++ b/hosts/pinwheel/home.nix
@@ -43,7 +43,7 @@
    settings = {
      main = {
        term = "xterm-256color";
-        font = "DejaVuSansM Nerd Font Mono";
+        font = "DejaVuSansM Nerd Font Mono:size=10";
      };
    };
  };
--- a/hosts/pinwheel/modules/age/default.nix
+++ b/hosts/pinwheel/modules/age/default.nix