From e6ba41328886ca5675d12d94f71385d977b90d24 Mon Sep 17 00:00:00 2001
From: Matt Singleton <matt@xcolour.net>
Date: Wed, 22 Feb 2023 11:44:10 -0600
Subject: get rid of kitty entirely

---
 deploy.sh              | 3 ---
 local/kitty-local.conf | 1 -
 2 files changed, 4 deletions(-)
 delete mode 100644 local/kitty-local.conf

diff --git a/deploy.sh b/deploy.sh
index e1bcd04..ae71736 100755
--- a/deploy.sh
+++ b/deploy.sh
@@ -110,9 +110,6 @@ if [ ! -e "$HOME/.config/git/config-local" ]; then
     cp local/gitconfig-local "$HOME/.config/git/config-local"
 fi
 if [ "$uname" = "linux" ]; then
-  if [ ! -e "$HOME/.config/kitty/local.conf" ]; then
-      cp local/kitty-local.conf "$HOME/.config/kitty/local.conf"
-  fi
   dconfig="$xconfig/duplicity"
   mkdir -p "$dconfig"
   if [ ! -e "$dconfig/config" ]; then
diff --git a/local/kitty-local.conf b/local/kitty-local.conf
deleted file mode 100644
index 179e568..0000000
--- a/local/kitty-local.conf
+++ /dev/null
@@ -1 +0,0 @@
-# local overrides
-- 
cgit v1.2.3