From edf252c4ea2f3322dfda1d5636fdc505354d5852 Mon Sep 17 00:00:00 2001
From: Fabio Scotto di Santolo <fabio.scottodisantolo@gmail.com>
Date: Wed, 24 Jul 2024 17:38:52 +0200
Subject: [PATCH] Change font family on Kitty terminal

---
 kitty/dot-config/kitty/kitty.conf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kitty/dot-config/kitty/kitty.conf b/kitty/dot-config/kitty/kitty.conf
index d1896d8..30ec21a 100644
--- a/kitty/dot-config/kitty/kitty.conf
+++ b/kitty/dot-config/kitty/kitty.conf
@@ -23,7 +23,7 @@ tab_title_template        {title}{'  :{}:'.format(num_windows) if num_windows >
 
 # Fonts
 font_size         14.0
-font_family       JetBrainsMono Nerd Font
+font_family       FiraCode Nerd Font
 
 # Cursor
 cursor_shape           beam