From 20e94d6158f1dfc93dc44e98637dd8d326a7864c Mon Sep 17 00:00:00 2001 From: Erwin Boskma Date: Tue, 17 Jan 2023 23:55:36 +0100 Subject: [PATCH] Change emoji font for foot --- home-manager/modules/foot/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/home-manager/modules/foot/default.nix b/home-manager/modules/foot/default.nix index c702efb..f7b4028 100644 --- a/home-manager/modules/foot/default.nix +++ b/home-manager/modules/foot/default.nix @@ -15,7 +15,7 @@ in settings = { main = { - font = "Iosevka Nerd Font:size=10, Noto Color Emoji"; + font = "Iosevka Nerd Font:size=10, Twitter Color Emoji:size=8"; dpi-aware = "yes"; };