about summary refs log tree commit diff
path: root/users/glittershark/system/home/modules
diff options
context:
space:
mode:
Diffstat (limited to 'users/glittershark/system/home/modules')
-rw-r--r--users/glittershark/system/home/modules/development.nix4
1 files changed, 2 insertions, 2 deletions
diff --git a/users/glittershark/system/home/modules/development.nix b/users/glittershark/system/home/modules/development.nix
index cb69b808d2c7..cf7301cc60c2 100644
--- a/users/glittershark/system/home/modules/development.nix
+++ b/users/glittershark/system/home/modules/development.nix
@@ -21,7 +21,6 @@ let
     };
 
     vendorSha256 = "1a5fx6mrv30cl46kswicd8lf5i5shn1fykchvbnbhdpgxhbz6qi4";
-    deleteVendor = pkgs.stdenv.isLinux;
   };
 
 in
@@ -32,7 +31,8 @@ with lib;
   imports = [
     ./lib/zshFunctions.nix
     ./development/kube.nix
-    ./development/agda.nix
+    # TODO(grfn): agda build is broken in the nixpkgs checkout
+    # ./development/agda.nix
     ./development/rust.nix
   ];