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
|
|
|
|
{
|
2022-03-07 18:40:12 +00:00
|
|
|
home.sessionVariables.TERMINAL = "${pkgs.foot}/bin/foot";
|
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
|
2022-03-07 18:40:12 +00:00
|
|
|
ln -s ${pkgs.foot}/bin/foot $out/bin/gnome-terminal
|
2020-10-14 03:32:20 +00:00
|
|
|
'')
|
|
|
|
];
|
2022-03-07 18:40:12 +00:00
|
|
|
programs.foot = {
|
|
|
|
enable = true;
|
|
|
|
settings = {
|
|
|
|
csd = {
|
|
|
|
preferred = "none";
|
|
|
|
};
|
|
|
|
main = {
|
|
|
|
term = "xterm-256color";
|
|
|
|
font = "monospace:size=6";
|
|
|
|
include = toString (pkgs.fetchurl {
|
|
|
|
url = "https://codeberg.org/dnkl/foot/raw/commit/6e536e7ed8f1de2615fa323123ddb2b06a45a179/themes/paper-color-light";
|
|
|
|
sha256 = "sha256-20gnYRPQ5vB2IP/epPLm4gvx/j4P/MnCPiTuDDexpuw=";
|
|
|
|
});
|
|
|
|
};
|
|
|
|
mouse = {
|
|
|
|
hide-when-typing = "yes";
|
|
|
|
};
|
|
|
|
scrollback = {
|
|
|
|
lines = 100000;
|
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
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;
|
2022-01-27 20:15:04 +00:00
|
|
|
window_margin_width = 2;
|
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
|
|
|
}
|