mirror of
https://github.com/nix-community/home-manager
synced 2024-11-23 11:39:46 +01:00
fcf5e608ac
Some settings in kitty allow floating-point values, but this was not reflected in the type.
19 lines
369 B
Text
19 lines
369 B
Text
# Generated by Home Manager.
|
|
# See https://sw.kovidgoyal.net/kitty/conf.html
|
|
font_family DejaVu Sans
|
|
font_size 8
|
|
|
|
|
|
# Shell integration is sourced and configured manually
|
|
shell_integration no-rc
|
|
|
|
background_opacity 0.500000
|
|
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
|
|
|
|
env LS_COLORS=1
|
|
|