From 13d2b18cc935246df2b63dc900f9fc84d22f0fc1 Mon Sep 17 00:00:00 2001
From: ElnuDev <elnu@elnu.com>
Date: Wed, 1 Feb 2023 14:38:58 -0800
Subject: [PATCH] terminal: fix unknown terminal type error in SSH

---
 modules/terminal/default.nix | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/modules/terminal/default.nix b/modules/terminal/default.nix
index f154a9f..f62cc7e 100644
--- a/modules/terminal/default.nix
+++ b/modules/terminal/default.nix
@@ -14,4 +14,9 @@ in
     };
     extraConfig = "enable_audio_bell 0\nconfirm_os_window_close 0\nbackground_opacity 0.7";
   };
+  programs.bash.shellAliases = {
+    # Fix for ""'xterm-kitty': unknown terminal type" error in remote sessions
+    # See https://github.com/kovidgoyal/kitty/issues/713#issuecomment-750704294
+    ssh = "kitty +kitten ssh";
+  };
 }