diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2022-01-24 12:46:43 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-24 12:46:43 +0100 |
| commit | edf0cde1a7f733d473e68ba5be996f07e86ab08d (patch) | |
| tree | e33788b240c5db02b779f5c0e8d8c6e5851bfd1e | |
| parent | 5c3b6fbe00608efbf989ddb95c948e58809b34a3 (diff) | |
| parent | 7477974b93240d0437c80aaf8646d8c838c948b5 (diff) | |
Merge pull request #5960 from zombiezen/patch-1
Correct `NIX_BUILD_PATH` default description
| -rw-r--r-- | doc/manual/src/command-ref/nix-shell.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/manual/src/command-ref/nix-shell.md b/doc/manual/src/command-ref/nix-shell.md index 873311649..a2b6d8a8e 100644 --- a/doc/manual/src/command-ref/nix-shell.md +++ b/doc/manual/src/command-ref/nix-shell.md @@ -101,7 +101,8 @@ The following common options are supported: - `NIX_BUILD_SHELL`\ Shell used to start the interactive environment. Defaults to the - `bash` found in `PATH`. + `bash` found in `<nixpkgs>`, falling back to the `bash` found in + `PATH` if not found. # Examples |