Override gnome-terminal

home-manager/roles/desktop/gnome.nix

@@ -2,7 +2,7 @@
   services.gpg-agent.pinentryFlavor = "gnome3";
   dconf.settings = {
     "org/gnome/desktop/input-sources" = {
-      sources =  [(lib.hm.gvariant.mkTuple ["xkb" "de+neo"])]; # use neo
+      sources = [ (lib.hm.gvariant.mkTuple [ "xkb" "de+neo" ]) ]; # use neo
       xkb-options = [
         "altwin:swap_lalt_lwin" # swap alt and win
         "lv3:menu_switch" # So that gnome-settings does not set it to ralt

home-manager/roles/desktop/kitty.nix

@@ -4,6 +4,12 @@ let
   inherit (my-lib) colors;
 in {
   home.sessionVariables.TERMINAL = "${pkgs.kitty}/bin/kitty";
+  home.packages = [
+    (pkgs.runCommandLocal "fake-gnome-terminal" {} ''
+      mkdir -p $out/bin
+      ln -s ${pkgs.kitty}/bin/kitty $out/bin/gnome-terminal
+    '')
+  ];
   programs.kitty = {
     enable = true;
     keybindings = {