From 57c88d665452ce3bc305287f67e6ac49758fc256 Mon Sep 17 00:00:00 2001 From: Gabe Venberg Date: Thu, 28 Aug 2025 12:27:00 +0200 Subject: [PATCH] added alternate fonts to kitty config. --- kitty/.config/kitty/kitty.conf | 6 ++---- ssh/.ssh/config | 1 + 2 files changed, 3 insertions(+), 4 deletions(-) diff --git a/kitty/.config/kitty/kitty.conf b/kitty/.config/kitty/kitty.conf index 99f5cc8..5c2bf30 100644 --- a/kitty/.config/kitty/kitty.conf +++ b/kitty/.config/kitty/kitty.conf @@ -21,12 +21,10 @@ # to get availible fonts, run kitty +list-fonts font_family Fira Code +# font_family Miracode # font_family Monocraft -#: bold_font Operator Mono Medium -#: italic_font Operator Mono Book Italic -#: bold_italic_font Operator Mono Medium Italic -# font_size 11.0 +font_size 12.0 #: Font size (in pts) diff --git a/ssh/.ssh/config b/ssh/.ssh/config index b1425ef..67c5ca5 100644 --- a/ssh/.ssh/config +++ b/ssh/.ssh/config @@ -1 +1,2 @@ AddKeysToAgent yes +AddressFamily inet