From 02eb3b5599da1fea4c2ef59b535c28b417cb0a0e Mon Sep 17 00:00:00 2001
From: Lzebulon <lzebulon@crans.org>
Date: Mon, 5 Jan 2026 19:41:57 +0100
Subject: [PATCH] fix: rename system -> stdenv.hostPlatform.system nixos a
 supprime l'alias system

---
 tools/devshell.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/devshell.nix b/tools/devshell.nix
index 724c18e..3dd58fb 100644
--- a/tools/devshell.nix
+++ b/tools/devshell.nix
@@ -8,7 +8,7 @@ pkgs.mkShell {
   packages = with pkgs; [
     nil
     nixpkgs-fmt
-    agenix.packages.${system}.default
+    agenix.packages.${stdenv.hostPlatform.system}.default
   ];
 
   shellHook = ''