home/ghci: init

2025-08-22 14:11:32 +02:00
parent de3aa0a7da
commit 26a8de0e9a
3 changed files with 24 additions and 6 deletions
--- a/home/home.nix
+++ b/home/home.nix
@@ -57,12 +57,6 @@ in {
    profilePath = ".config/X11/xprofile";
  };

-  xdg.configFile = {
-    "ghc/ghci.conf".text = ''
-      :set prompt "${extendedLib.termColors.front.magenta "[GHCi]λ"} "
-    '';
-  };
-
  news.display = "silent";

  fonts.fontconfig.enable = mkForce true;