|
|
@ -14,4 +14,9 @@ in
|
|
|
|
};
|
|
|
|
};
|
|
|
|
extraConfig = "enable_audio_bell 0\nconfirm_os_window_close 0\nbackground_opacity 0.7";
|
|
|
|
extraConfig = "enable_audio_bell 0\nconfirm_os_window_close 0\nbackground_opacity 0.7";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
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";
|
|
|
|
|
|
|
|
};
|
|
|
|
}
|
|
|
|
}
|
|
|
|