Make terminal font size device-specific

2022-02-04 18:02:00 +00:00
parent 7e6ed65c3a
commit 0611c526d9
3 changed files with 2 additions and 1 deletions
--- a/user/host-specific/dingbox/default.nix
+++ b/user/host-specific/dingbox/default.nix
@@ -12,4 +12,5 @@
 	];

 	programs.alacritty.settings.font.size = 13;
+	programs.kitty.font.size = 22;
 }
--- a/user/host-specific/miniding/default.nix
+++ b/user/host-specific/miniding/default.nix
@@ -13,4 +13,5 @@
 	};

 	programs.alacritty.settings.font.size = 10;
+	programs.kitty.font.size = 19;
 }
--- a/user/progs/kitty/default.nix
+++ b/user/progs/kitty/default.nix
@@ -6,7 +6,6 @@
    font = {
      package = pkgs.iosevka;
      name = "Iosevka Nerd Font Complete";
-      size = 22;
    };
    settings = {
      "cursor_shape" = "underline";