Remove alacritty

config/home-manager/darkkirb.nix

@@ -18,7 +18,6 @@
     ../programs/yubikey.nix
     ../programs/keybase.nix
     ../programs/keepass.nix
-    ../programs/alacritty.nix
     ../programs/kicad.nix
     ../programs/vscode
     ../programs/misc.nix

config/programs/misc.nix

@@ -1,4 +1,4 @@
-{ pkgs, ... }: {
+{ pkgs, lib, ... }: {
   home.packages = with pkgs; [
     ghidra
     android-studio

config/programs/theming.nix

@@ -9,98 +9,4 @@ let theme = import ../../extra/theme.nix; in
   qt.enable = true;
   qt.style.package = pkgs.libsForQt5.breeze-qt5;
   qt.style.name = "BreezeDark";
-
-  # Paraiso (dark) by Chris Kempson
-  # Alacritty colors
-  programs.alacritty = {
-    enable = true;
-    settings = {
-      colors = with theme; {
-        # Default Colors
-        primary = {
-          background = alacrittyColor bg;
-          foreground = alacrittyColor fg;
-        };
-
-        # Normal Colors
-        normal = {
-          black = alacrittyColor black;
-          red = alacrittyColor dark-red;
-          green = alacrittyColor dark-green;
-          yellow = alacrittyColor dark-yellow;
-          blue = alacrittyColor dark-blue;
-          magenta = alacrittyColor dark-magenta;
-          cyan = alacrittyColor dark-cyan;
-          white = alacrittyColor light-grey;
-        };
-
-        # Bright Colors
-        bright = {
-          black = alacrittyColor dark-grey;
-          red = alacrittyColor red;
-          green = alacrittyColor green;
-          yellow = alacrittyColor yellow;
-          blue = alacrittyColor blue;
-          magenta = alacrittyColor magenta;
-          cyan = alacrittyColor cyan;
-          white = alacrittyColor white;
-        };
-      };
-    };
-  };
-
-  programs.waybar.style = with theme; ''
-    * {
-      border: none;
-      border-radius: 0;
-      font-family: "NotoSansDisplay Nerd Font", "Noto Sans Mono CJK JP";
-    }
-
-    window.HDMI-A-1 * {
-      font-size: 12px;
-    }
-
-    window#waybar {
-      background: ${cssColor bg};
-    }
-
-    #mpd, #cpu {
-      background: ${cssColor green};
-      color: ${cssColor bg};
-    }
-
-    #pulseaudio {
-      background: ${cssColor yellow};
-      color: ${cssColor bg};
-    }
-
-    #network, #tray {
-      background: ${cssColor blue};
-      color: ${cssColor bg};
-    }
-
-    #memory, #workspaces button.focused {
-      background: ${cssColor magenta};
-    }
-
-    #language {
-      background: ${cssColor cyan};
-    }
-
-    #clock {
-      background: ${cssColor light-grey};
-    }
-
-    .urgent {
-      background: ${cssColor red};
-    }
-
-    #workspaces button {
-      background: transparent;
-    }
-
-    label {
-      color: #fff;
-    }
-  '';
 }