From 4d50939b4b3fafd31932d6245d28c23d86b4a41d Mon Sep 17 00:00:00 2001 From: Jeff LANCE Date: Fri, 20 Jun 2025 17:13:40 +0200 Subject: [PATCH] Update home/.config/foot/foot.ini --- home/dot_config/foot/foot.ini | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/home/dot_config/foot/foot.ini b/home/dot_config/foot/foot.ini index 5e5b9f2..7e3768b 100644 --- a/home/dot_config/foot/foot.ini +++ b/home/dot_config/foot/foot.ini @@ -24,7 +24,7 @@ shell=/usr/bin/zsh # box-drawings-uses-font-glyphs=no # dpi-aware=no # font=CaskaydiaCove Nerd Font:size=12 -font=JetBrainsMono:size=11 +font=IBM Plex Mono Nerd, JetBrainsMono:size=11 dpi-aware=yes initial-window-size-pixels=700x500 # Or,