From 42e062f274766260543c9975e2a3ac3833532d53 Mon Sep 17 00:00:00 2001
From: Daniel Patterson <me@danielpatterson.dev>
Date: Sun, 14 Nov 2021 00:10:40 +0000
Subject: [PATCH] Make alacritty font size be specified per-host

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

diff --git a/user/host-specific/dingbox/default.nix b/user/host-specific/dingbox/default.nix
index 6deb8b3..3087ff9 100644
--- a/user/host-specific/dingbox/default.nix
+++ b/user/host-specific/dingbox/default.nix
@@ -6,4 +6,6 @@
 			source = ./wallpapers;
 		};
 	};
+
+	programs.alacritty.settings.font.size = 13;
 }
diff --git a/user/host-specific/miniding/default.nix b/user/host-specific/miniding/default.nix
index 818909d..5fdc8fb 100644
--- a/user/host-specific/miniding/default.nix
+++ b/user/host-specific/miniding/default.nix
@@ -11,4 +11,6 @@
 			source = ./wallpapers;
 		};
 	};
+
+	programs.alacritty.settings.font.size = 10;
 }
diff --git a/user/progs/alacritty/default.nix b/user/progs/alacritty/default.nix
index 5bfe86b..c0d4db6 100644
--- a/user/progs/alacritty/default.nix
+++ b/user/progs/alacritty/default.nix
@@ -9,7 +9,6 @@
 					family = "Iosevka";
 					style = "Regular";
 				};
-				size = 13;
 
 				colors = {
 					primary = {