diff --git a/doc/md/Installation_Instructions/Linux-Installation-Instructions.md b/doc/md/Installation_Instructions/Linux-Installation-Instructions.md
index ee83f711c..be1b4e136 100644
--- a/doc/md/Installation_Instructions/Linux-Installation-Instructions.md
+++ b/doc/md/Installation_Instructions/Linux-Installation-Instructions.md
@@ -179,7 +179,7 @@ you can skip the installation of `gd-devel`.
 
 While in the cloned proxmark repo, run
 ```sh
-nix-shell
+nix-shell tools/shell.nix
 ```
 This will bring in all required packages to build the client and firmware with all available features.
 
diff --git a/shell.nix b/tools/shell.nix
similarity index 100%
rename from shell.nix
rename to tools/shell.nix