From 62eb2c6ea7d2f4669e385f3da84a0f653ed08918 Mon Sep 17 00:00:00 2001 From: Mans Ziesel Date: Thu, 9 Mar 2023 16:32:36 +0100 Subject: [PATCH] change kitty font --- .config/kitty/kitty.conf | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/.config/kitty/kitty.conf b/.config/kitty/kitty.conf index 72eff15..b27ee11 100644 --- a/.config/kitty/kitty.conf +++ b/.config/kitty/kitty.conf @@ -6,7 +6,9 @@ enable_audio_bell no map f9 close_other_windows_in_tab -font_family Operator Mono Book -bold_font Operator Mono Medium -italic_font Operator Mono Book Italic -bold_italic_font Operator Mono Medium Italic +font_family JetBrains Mono Regular Nerd Font Complete Mono +bold_font JetBrains Mono Bold Nerd Font Complete Mono +italic_font JetBrains Mono Italic Nerd Font Complete Mono +bold_italic_font JetBrains Mono Bold Italic Nerd Font Complete Mono + +font_size 12.0