From 98e88e3fbb7ee1d5dc31e190fc7d73f7c95cd987 Mon Sep 17 00:00:00 2001 From: Alexander Heldt Date: Fri, 18 Aug 2023 23:20:45 +0200 Subject: [PATCH] pinwheel: Set `foot` fontsize to 10 --- hosts/pinwheel/home.nix | 2 +- hosts/pinwheel/modules/age/default.nix | 0 2 files changed, 1 insertion(+), 1 deletion(-) create mode 100644 hosts/pinwheel/modules/age/default.nix diff --git a/hosts/pinwheel/home.nix b/hosts/pinwheel/home.nix index ff7c1d0..21045bb 100644 --- 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"; }; }; }; diff --git a/hosts/pinwheel/modules/age/default.nix b/hosts/pinwheel/modules/age/default.nix new file mode 100644 index 0000000..e69de29