From 8d9eb8fa8a20efa4c4318fccef97d21fe91fb092 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bensima.com>
Date: Mon, 22 Dec 2025 13:31:18 -0500
Subject: Switch to kitty terminal with ef-dream theme, emoji support

- Replace urxvt with kitty as default terminal
- Add ef-dream inspired color scheme to kitty
- Configure emoji font fallback with Noto Color Emoji
- Update xmonad.hs to use kitty for terminal and scratchpads
- Fix cmdtree to fetch from GitHub instead of broken git://jb55.com
- Remove urxvt.nix and alacritty config
- Add AGENTS.md for agentic coding tools
---
 profiles/workshop.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'profiles/workshop.nix')

diff --git a/profiles/workshop.nix b/profiles/workshop.nix
index 84b8104..b507063 100644
--- a/profiles/workshop.nix
+++ b/profiles/workshop.nix
@@ -4,7 +4,7 @@
 {
   imports = [
     ../lib/linux.nix
-    ../lib/urxvt.nix
+    
     ../lib/polybar.nix
     ../lib/ssh.nix
     ../lib/packages.nix
-- 
cgit v1.2.3