diff --git a/default.nix b/default.nix index b9e707904..6586b0165 100644 --- a/default.nix +++ b/default.nix @@ -7,6 +7,7 @@ inherit system; }, withManuals ? false, # building the manuals is expensive + inNixShell ? false # Provided by direnv-nix; Ignored for now. }: let lib = pkgs.lib;