2020-04-11 21:13:00 +00:00
|
|
|
{ pkgs, ... }:
|
|
|
|
let
|
2021-07-30 21:09:20 +00:00
|
|
|
my-lib = import ../../lib;
|
2021-03-29 20:53:33 +00:00
|
|
|
theme = my-lib.themes.default;
|
2021-05-18 14:33:28 +00:00
|
|
|
in
|
|
|
|
{
|
2020-05-19 22:02:50 +00:00
|
|
|
home.sessionVariables.TERMINAL = "${pkgs.kitty}/bin/kitty";
|
2020-10-14 03:32:20 +00:00
|
|
|
home.packages = [
|
2021-05-18 14:33:28 +00:00
|
|
|
(pkgs.runCommandLocal "fake-gnome-terminal" { } ''
|
2020-10-14 03:32:20 +00:00
|
|
|
mkdir -p $out/bin
|
|
|
|
ln -s ${pkgs.kitty}/bin/kitty $out/bin/gnome-terminal
|
|
|
|
'')
|
|
|
|
];
|
2020-05-19 22:02:50 +00:00
|
|
|
programs.kitty = {
|
|
|
|
enable = true;
|
|
|
|
keybindings = {
|
|
|
|
"ctrl+plus" = "change_font_size all +1.0";
|
|
|
|
"ctrl+minus" = "change_font_size all -1.0";
|
|
|
|
};
|
|
|
|
settings = {
|
2020-05-22 01:32:14 +00:00
|
|
|
linux_display_server = "wayland"; # Causes ugly decorations
|
|
|
|
hide_window_decorations = true;
|
2020-05-22 02:09:08 +00:00
|
|
|
strip_trailing_spaces = "always";
|
|
|
|
|
2020-05-19 22:02:50 +00:00
|
|
|
font_size = "10.5";
|
|
|
|
|
2021-03-29 20:53:33 +00:00
|
|
|
foreground = theme.primary.foreground;
|
|
|
|
background = theme.primary.background;
|
2020-05-19 22:02:50 +00:00
|
|
|
|
2021-03-29 20:53:33 +00:00
|
|
|
selection_foreground = theme.primary.background;
|
|
|
|
selection_background = theme.primary.foreground;
|
2021-07-08 22:32:00 +00:00
|
|
|
background_opacity = "0.9";
|
|
|
|
background_tint = "0.9";
|
2020-05-19 22:02:50 +00:00
|
|
|
|
|
|
|
# black
|
2021-03-29 20:53:33 +00:00
|
|
|
color0 = theme.normal.white;
|
|
|
|
color8 = theme.bright.white;
|
2020-05-19 22:02:50 +00:00
|
|
|
|
|
|
|
# red
|
2021-03-29 20:53:33 +00:00
|
|
|
color1 = theme.normal.red;
|
|
|
|
color9 = theme.bright.red;
|
2020-05-19 22:02:50 +00:00
|
|
|
|
|
|
|
# green
|
2021-03-29 20:53:33 +00:00
|
|
|
color2 = theme.normal.green;
|
|
|
|
color10 = theme.bright.green;
|
2020-05-19 22:02:50 +00:00
|
|
|
|
|
|
|
# yellow
|
2021-03-29 20:53:33 +00:00
|
|
|
color3 = theme.normal.yellow;
|
|
|
|
color11 = theme.bright.yellow;
|
2020-05-19 22:02:50 +00:00
|
|
|
|
|
|
|
# blue
|
2021-03-29 20:53:33 +00:00
|
|
|
color4 = theme.normal.blue;
|
|
|
|
color12 = theme.bright.blue;
|
2020-05-19 22:02:50 +00:00
|
|
|
|
|
|
|
# magenta
|
2021-03-29 20:53:33 +00:00
|
|
|
color5 = theme.normal.magenta;
|
|
|
|
color13 = theme.bright.magenta;
|
2020-05-19 22:02:50 +00:00
|
|
|
|
|
|
|
# cyan
|
2021-03-29 20:53:33 +00:00
|
|
|
color6 = theme.normal.cyan;
|
|
|
|
color14 = theme.bright.cyan;
|
2020-05-19 22:02:50 +00:00
|
|
|
|
2021-03-29 20:53:33 +00:00
|
|
|
color7 = theme.normal.black;
|
|
|
|
color15 = theme.bright.black;
|
2020-05-19 22:02:50 +00:00
|
|
|
};
|
|
|
|
};
|
2020-04-11 21:13:00 +00:00
|
|
|
}
|