diff options
Diffstat (limited to 'users')
| -rw-r--r-- | users/glittershark/system/home/modules/development.nix | 4 | ||||
| -rw-r--r-- | users/glittershark/system/system/modules/kernel.nix | 2 |
2 files changed, 3 insertions, 3 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 ]; diff --git a/users/glittershark/system/system/modules/kernel.nix b/users/glittershark/system/system/modules/kernel.nix index dcde951b6152..7051231f3fcf 100644 --- a/users/glittershark/system/system/modules/kernel.nix +++ b/users/glittershark/system/system/modules/kernel.nix @@ -24,7 +24,7 @@ let }; in { - boot.kernelPackages = pkgs.linuxPackages_latest.extend (self: super: { + boot.kernelPackages = pkgs.linuxPackages_5_9.extend (self: super: { kernel = super.kernel.override { ignoreConfigErrors = true; kernelPatches = super.kernel.kernelPatches ++ [{ |