From 0611c526d9793061b283e7b2961c772ef905ba02 Mon Sep 17 00:00:00 2001
From: Daniel Patterson <me@danielpatterson.dev>
Date: Fri, 4 Feb 2022 18:02:00 +0000
Subject: [PATCH] Make terminal font size device-specific

---
 user/host-specific/dingbox/default.nix  | 1 +
 user/host-specific/miniding/default.nix | 1 +
 user/progs/kitty/default.nix            | 1 -
 3 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/user/host-specific/dingbox/default.nix b/user/host-specific/dingbox/default.nix
index f9f8336..8c0d28b 100644
--- 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;
 }
diff --git a/user/host-specific/miniding/default.nix b/user/host-specific/miniding/default.nix
index 5fdc8fb..f5a6e8b 100644
--- 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;
 }
diff --git a/user/progs/kitty/default.nix b/user/progs/kitty/default.nix
index 8c5b3a0..4e4da8f 100644
--- 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";