diff --git a/devenv.nix b/devenv.nix
index 822d72be296959c9390a660e499d23bf467ad3e1..0e1b006ec90543f784822ed182483dfc4d6c7d39 100644
--- a/devenv.nix
+++ b/devenv.nix
@@ -68,7 +68,7 @@ PATH="''${PATH}":${pkgs.git}/bin/
 PATH="''${PATH}":${pkgs.gnugrep}/bin/
 PATH="''${PATH}":${inputs.version.defaultPackage."${builtins.currentSystem}"}/bin/
 
-export -f PATH
+export PATH
 
 
 if [ -z "'CI_JOB_TOKEN" ]; then