From c2bfa24414a252a73585f219a3d5de42ce2b0220 Mon Sep 17 00:00:00 2001
From: Charlotte Van Petegem <charlotte.vanpetegem@ugent.be>
Date: Tue, 5 Sep 2023 08:56:04 +0200
Subject: [PATCH] Remove nix version pin from devshell

---
 shells/nixos-config.nix | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/shells/nixos-config.nix b/shells/nixos-config.nix
index 426b30e1..2e3f583c 100644
--- a/shells/nixos-config.nix
+++ b/shells/nixos-config.nix
@@ -16,8 +16,7 @@
   ];
   packages = [
     pkgs.agenix
-    # Use nixos-rebuild from flake, since it might be patched
-    (pkgs.nixos-rebuild.override { nix = pkgs.nixVersions.nix_2_13; })
+    pkgs.nixos-rebuild
     pkgs.nixpkgs-fmt
   ];
 }