2025-01-05 01:20:58 +01:00
|
|
|
{ pkgs, user, ... }:
|
|
|
|
|
{
|
2024-04-28 11:35:35 +02:00
|
|
|
|
2025-01-05 01:20:58 +01:00
|
|
|
home-manager.users.${user}.programs.kitty = {
|
2024-04-28 11:35:35 +02:00
|
|
|
|
|
|
|
|
enable = true;
|
|
|
|
|
font.name = "Jetbrains Mono Nerd font";
|
|
|
|
|
|
|
|
|
|
extraConfig = ''
|
|
|
|
|
enable_audio_bell no
|
|
|
|
|
window_alert_on_bell no
|
|
|
|
|
foreground #dddddd
|
|
|
|
|
background #191830
|
|
|
|
|
'';
|
|
|
|
|
|
|
|
|
|
};
|
|
|
|
|
}
|
