fix: remove batman for now

Signed-off-by: Anthony Rabbito <[email protected]>
anthr76 · Jan 12, 2025 · c721f77 · c721f77
1 parent f770a7f
commit c721f77
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/home-manager/personalities/cli/bat.nix b/home-manager/personalities/cli/bat.nix
@@ -1,13 +1,13 @@
 { pkgs, ... }: {
   programs.bat = {
     enable = true;
-    extraPackages = [ pkgs.bat-extras.batman ];
+    # Fix: batman is broken
+    # extraPackages = [ pkgs.bat-extras.batman ];
     config = {
       theme = "Coldark-Dark";
     };
   };
   home.shellAliases = {
     "cat" = "bat -pp";
-    "man" = "batman";
   };
 }