From 9a6e0828620ffdc176e1da681e47d0123481c44a Mon Sep 17 00:00:00 2001 From: lhark Date: Thu, 21 Feb 2019 14:53:54 -0500 Subject: [PATCH] [kitty] Add local settings override --- .gitignore | 1 + config/kitty/kitty.conf | 20 +++++++++++--------- 2 files changed, 12 insertions(+), 9 deletions(-) diff --git a/.gitignore b/.gitignore index 28b2b38..e8f1a48 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ vim/.netrwhist vim/bundle/* git_user +config/kitty/.local.conf diff --git a/config/kitty/kitty.conf b/config/kitty/kitty.conf index 9311895..4d6f302 100644 --- a/config/kitty/kitty.conf +++ b/config/kitty/kitty.conf @@ -1,8 +1,8 @@ -font_family hack -bold_font auto -italic_font auto -bold_italic_font auto -font_size 14 +font_family hack +bold_font auto +italic_font auto +bold_italic_font auto +font_size 14 background_opacity 0.75 @@ -10,6 +10,8 @@ include colors/base16-3024-256.conf enable_audio_bell no +include .local.conf + ################################## # Nice alternative base16 themes # ################################## @@ -33,7 +35,7 @@ enable_audio_bell no # cursor_text_color #586e75 # selection_foreground #93a1a1 # selection_background #586e75 -# +# # color0 #073642 # color1 #dc322f # color2 #859900 @@ -50,11 +52,11 @@ enable_audio_bell no # color13 #6c71c4 # color14 #93a1a1 # color15 #fdf6e3 -# +# # enable_audio_bell no -# +# # map ctrl+shift+equal change_font_size all +1.0 # map ctrl+shift+minus change_font_size all -1.0 -# +# # font_size 10.0 # font_family Hack