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

1 files changed, 47 insertions, 0 deletions

diff --git a/lib/linux.nix b/lib/linux.nix
index d4568c4..fb9eddf 100644
--- a/lib/linux.nix
+++ b/lib/linux.nix
@@ -93,6 +93,8 @@ in
   #catppuccin.enable = true;
 
   fonts.fontconfig.enable = true;
+  fonts.fontconfig.defaultFonts.emoji = [ "Noto Color Emoji" ];
+  fonts.fontconfig.defaultFonts.monospace = [ "Fira Code" "Noto Color Emoji" ];
 
   gtk.enable = false; # this fails because of some missing service file
   gtk.font.name = "Fira Sans";
@@ -213,6 +215,51 @@ in
   programs = {
     git.signing.signByDefault = true;
 
+    kitty = {
+      enable = true;
+      font = {
+        name = "Fira Code";
+        size = 14;
+      };
+      settings = {
+        background_opacity = "0.95";
+        symbol_map = "U+1F600-U+1F64F,U+1F300-U+1F5FF,U+1F680-U+1F6FF,U+1F1E0-U+1F1FF,U+2600-U+26FF,U+2700-U+27BF,U+1F900-U+1F9FF,U+1FA00-U+1FA6F,U+1FA70-U+1FAFF,U+231A-U+231B,U+23E9-U+23F3,U+23F8-U+23FA,U+25AA-U+25AB,U+25B6,U+25C0,U+25FB-U+25FE,U+2614-U+2615,U+2648-U+2653,U+267F,U+2693,U+26A1,U+26AA-U+26AB,U+26BD-U+26BE,U+26C4-U+26C5,U+26CE,U+26D4,U+26EA,U+26F2-U+26F3,U+26F5,U+26FA,U+26FD,U+2702,U+2705,U+2708-U+270D,U+270F Noto Color Emoji";
+
+        # ef-dream inspired colors
+        foreground = "#efd5c5";
+        background = "#232025";
+        cursor = "#f3c09a";
+        cursor_text_color = "#232025";
+        selection_foreground = "#232025";
+        selection_background = "#d0b0ff";
+
+        # black
+        color0 = "#232025";
+        color8 = "#5b595e";
+        # red
+        color1 = "#ff6f6f";
+        color9 = "#ff7a5f";
+        # green
+        color2 = "#51b04f";
+        color10 = "#7fce5f";
+        # yellow
+        color3 = "#c0b24f";
+        color11 = "#d09950";
+        # blue
+        color4 = "#57b0ff";
+        color12 = "#80aadf";
+        # magenta
+        color5 = "#ffaacf";
+        color13 = "#d0b0ff";
+        # cyan
+        color6 = "#6fb3c0";
+        color14 = "#8fcfd0";
+        # white
+        color7 = "#efd5c5";
+        color15 = "#f3c09a";
+      };
+    };
+
     firefox = {
       enable = true;
       package =