From 8991aaa0de301a8288b555cf6a1873dee06dacca Mon Sep 17 00:00:00 2001
From: Kristof Vandam <kristof.vandam@gmail.com>
Date: Fri, 4 Dec 2020 03:06:18 +0100
Subject: [PATCH] new default terminal

---
 rc.lua | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rc.lua b/rc.lua
index 11f90fd..c7c9f0e 100644
--- a/rc.lua
+++ b/rc.lua
@@ -42,7 +42,7 @@ end)
 -- }}}
 
 -- This is used later as the default terminal and editor to run.
-terminal = "kitty"
+terminal = "alacritty"
 editor = os.getenv("EDITOR") or "vi"
 editor_cmd = terminal .. " -e " .. editor