mirror of
https://github.com/nix-community/home-manager
synced 2024-11-18 09:09:45 +01:00
33edf558a0
* lib/types: Add size attribute to fontType * tests: Add test for kitty * modules/types/fontType: Make size nullable * Add release notes Co-authored-by: Sebastian Zivota <sebastian.zivota@mailbox.org>
17 lines
248 B
Text
17 lines
248 B
Text
# Generated by Home Manager.
|
|
# See https://sw.kovidgoyal.net/kitty/conf.html
|
|
|
|
font_family DejaVu Sans
|
|
font_size 8
|
|
|
|
|
|
enable_audio_bell no
|
|
scrollback_lines 10000
|
|
update_check_interval 0
|
|
|
|
|
|
map ctrl+c copy_or_interrupt
|
|
map ctrl+f>2 set_font_size 20
|
|
|
|
|
|
|