You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
|
|
{ ... }:
|
|
|
|
|
|
|
|
let
|
|
|
|
theme = import ../theme;
|
|
|
|
in
|
|
|
|
{
|
|
|
|
programs.kitty = {
|
|
|
|
enable = true;
|
|
|
|
# https://github.com/kovidgoyal/kitty-themes/blob/master/themes.json
|
|
|
|
theme = "${theme.kitty-theme}";
|
|
|
|
font = {
|
|
|
|
name = "FiraCode Nerd Font Mono";
|
|
|
|
size = 12;
|
|
|
|
};
|
|
|
|
extraConfig = "enable_audio_bell 0\nconfirm_os_window_close 0\nbackground_opacity 0.7\nwindow_padding_width 2";
|
|
|
|
};
|
|
|
|
programs.bash.shellAliases = {
|
|
|
|
# Fix for ""'xterm-kitty': unknown terminal type" error in remote sessions
|
|
|
|
# See https://github.com/kovidgoyal/kitty/issues/713#issuecomment-750704294
|
|
|
|
ssh = "kitty +kitten ssh";
|
|
|
|
};
|
|
|
|
}
|