mirror of
https://github.com/nix-community/home-manager
synced 2024-06-26 08:28:30 +02: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>
18 lines
248 B
Plaintext
18 lines
248 B
Plaintext
# 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
|
|
|
|
|
|
|