From ab5b3ccad7b98a985e950723f2ae1a92beaee8ec Mon Sep 17 00:00:00 2001
From: colin <colin@uninsane.org>
Date: Sun, 29 May 2022 14:00:33 -0700
Subject: [PATCH] gnome: add kitty terminal to favorites

---
 helpers/home-manager-gen-colin.nix | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/helpers/home-manager-gen-colin.nix b/helpers/home-manager-gen-colin.nix
index 2a892cd09..3ce316428 100644
--- a/helpers/home-manager-gen-colin.nix
+++ b/helpers/home-manager-gen-colin.nix
@@ -107,7 +107,12 @@
       sleep-inactive-battery-timeout = 5400;  # seconds
     };
     "org/gnome/shell" = {
-      favorite-apps = ["org.gnome.Nautilus.desktop" "firefox.desktop" "org.gnome.Terminal.desktop"];
+      favorite-apps = [
+        "org.gnome.Nautilus.desktop"
+        "firefox.desktop"
+        "kitty.desktop"
+        # "org.gnome.Terminal.desktop"
+      ];
     };
     "org/gnome/desktop/session" = {
       # how long until considering a session idle (triggers e.g. screen blanking)