home: remove some packages i don't really use

1 files changed, 9 insertions, 0 deletions

diff --git a/pkgs/overlay.nix b/pkgs/overlay.nix
index 4e9f741..3a37b8f 100644
--- a/pkgs/overlay.nix
+++ b/pkgs/overlay.nix
@@ -201,6 +201,15 @@ in
       [ "PREFIX=$(out)" "WITH_POSIX_C_SOURCE=YES"
         "WITH_GAMMACONTROL=YES" "WITH_LAYERSHELL=YES" "WITH_SCREENCOPY=YES" ];
   })).override { wlroots = unstable.wlroots_0_16; stdenv = self.clangStdenv; };
+  twelf = super.twelf.overrideAttrs (old:  {
+    src = self.fetchFromGitHub {
+      owner = "k4rtik";
+      repo = "twelf";
+      rev = "c1bec0d0b9fa506e36bb364b1765191b159e6c4c";
+      hash = "sha256-sh/yMlCvMMq6GBqAKO+V0Bcyp38zB7I/3H8a0fxqOos=";
+    };
+  });
+
   hikari = self.callPackage ./hikari.nix { wlroots = self.wlroots_0_15; };
 
   wlroots_0_15 = (self.wlroots_0_16.overrideAttrs rec {