From bed3118b1b1683e4ba391650cdf1535a92175156 Mon Sep 17 00:00:00 2001 From: Alexander Heldt Date: Tue, 22 Aug 2023 19:45:08 +0200 Subject: [PATCH] pinwheel: Update `foot` font size to 14 --- hosts/pinwheel/home.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hosts/pinwheel/home.nix b/hosts/pinwheel/home.nix index 04f3f68..cc01af7 100644 --- a/hosts/pinwheel/home.nix +++ b/hosts/pinwheel/home.nix @@ -26,7 +26,7 @@ settings = { main = { term = "xterm-256color"; - font = "DejaVuSansM Nerd Font Mono:size=10"; + font = "DejaVuSansM Nerd Font Mono:size=14"; }; }; };