From a290f3fc46d462ac003e342fbf2ba06870433160 Mon Sep 17 00:00:00 2001
From: Sridhar Ratnakumar <srid@srid.ca>
Date: Fri, 15 Apr 2022 22:28:01 -0400
Subject: [PATCH] kitty is a home-manager program

---
 home/terminal.nix | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)

diff --git a/home/terminal.nix b/home/terminal.nix
index 680dbea..f21ef92 100644
--- a/home/terminal.nix
+++ b/home/terminal.nix
@@ -7,9 +7,6 @@
     ripgrep
     htop
 
-    # Meta
-    kitty
-
     # Haskell dev
     ghcid
   ];
@@ -20,5 +17,16 @@
     zoxide.enable = true;
     fzf.enable = true;
     jq.enable = true;
+
+    # Better terminal, with good rendering.
+    kitty = {
+      enable = true;
+      # Pick "name" from https://github.com/kovidgoyal/kitty-themes/blob/master/themes.json
+      theme = "Tokyo Night";
+      font = {
+        name = "Monaco";
+        size = 14;
+      };
+    };
   };
 }