From 37a15c80e1495fa17e38ec7f2614afacd73e7266 Mon Sep 17 00:00:00 2001 From: yannickreiss Date: Wed, 7 Feb 2024 09:14:01 +0100 Subject: [PATCH] Using new nerd font --- kitty.conf | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/kitty.conf b/kitty.conf index e70add5..7f9af0a 100644 --- a/kitty.conf +++ b/kitty.conf @@ -1,5 +1,5 @@ include ./mocha.conf -font_family jetbrains mono nerd font +font_family SFMono Nerd Font Mono font_size 12 bold_font auto italic_font auto @@ -10,7 +10,7 @@ url_color #0087bd url_style dotted #Close the terminal without confirmation confirm_os_window_close 0 -background_opacity 0.99 +background_opacity 0.75 enable_audio_bell no include ./theme.conf map crtl+shift+enter new_window_with_cmd