From 5ac0ff85e70f254f2ee7f9057be1a979ddedba64 Mon Sep 17 00:00:00 2001 From: Fabio Scotto di Santolo Date: Thu, 7 Aug 2025 18:59:30 +0200 Subject: [PATCH] Change Foot font --- foot/.config/foot/foot.ini | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/foot/.config/foot/foot.ini b/foot/.config/foot/foot.ini index bf98c31..da83995 100644 --- a/foot/.config/foot/foot.ini +++ b/foot/.config/foot/foot.ini @@ -1,7 +1,7 @@ # === General settings === [main] shell=/bin/zsh # Default shell to launch in the terminal -font=FiraCode Nerd Font:size=14 # Font family and size used in the terminal +font=0xProto Nerd Font:size=14 # Font family and size used in the terminal initial-window-size-chars=160x45 # Initial size in character columns x rows selection-target=clipboard # Copy selected text directly to system clipboard term=foot # Terminal type identifier (useful for compatibility)