nixos-config/home-manager/roles/terminal.nix

{ pkgs, ... }:
let
  my-lib = import ../../lib;
  theme = my-lib.themes.default;
in
{
  home.sessionVariables.TERMINAL = "${pkgs.foot}/bin/foot";
  home.packages = [
    (pkgs.runCommandLocal "fake-gnome-terminal" { } ''
      mkdir -p $out/bin
      ln -s ${pkgs.foot}/bin/foot $out/bin/gnome-terminal
    '')
  ];
  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;
      };
    };
  };
  programs.kitty = {
    enable = true;
    keybindings = {
      "ctrl+plus" = "change_font_size all +1.0";
      "ctrl+minus" = "change_font_size all -1.0";
    };
    settings = {
      linux_display_server = "wayland"; # Causes ugly decorations
      hide_window_decorations = true;
      window_margin_width = 2;
      strip_trailing_spaces = "always";

      font_size = "10.5";

      foreground = theme.primary.foreground;
      background = theme.primary.background;

      selection_foreground = theme.primary.background;
      selection_background = theme.primary.foreground;
      background_opacity = "0.9";
      background_tint = "0.9";

      # black
      color0 = theme.normal.white;
      color8 = theme.bright.white;

      # red
      color1 = theme.normal.red;
      color9 = theme.bright.red;

      # green
      color2 = theme.normal.green;
      color10 = theme.bright.green;

      # yellow
      color3 = theme.normal.yellow;
      color11 = theme.bright.yellow;

      # blue
      color4 = theme.normal.blue;
      color12 = theme.bright.blue;

      # magenta
      color5 = theme.normal.magenta;
      color13 = theme.bright.magenta;

      # cyan
      color6 = theme.normal.cyan;
      color14 = theme.bright.cyan;

      color7 = theme.normal.black;
      color15 = theme.bright.black;
    };
  };
}