diff options
| author | John Ericson <git@JohnEricson.me> | 2022-10-28 23:22:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-28 23:22:18 +0100 |
| commit | 13f2a6f38db44385ae1c7d3d01170149de328abb (patch) | |
| tree | 9184949feb826f00b7a5bc4175dda4667055e44c /src/nix/shell.md | |
| parent | 12461e246b02371c6b6981b4e65985e9397474e1 (diff) | |
| parent | b7e8a3bf4cbb2448db860f65ea13ef2c64b6883b (diff) | |
Merge branch 'master' into indexed-store-path-outputs
Diffstat (limited to 'src/nix/shell.md')
| -rw-r--r-- | src/nix/shell.md | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/nix/shell.md b/src/nix/shell.md index 90b81fb2f..9fa1031f5 100644 --- a/src/nix/shell.md +++ b/src/nix/shell.md @@ -23,6 +23,12 @@ R""( Hi everybody! ``` +* Run multiple commands in a shell environment: + + ```console + # nix shell nixpkgs#gnumake -c sh -c "cd src && make" + ``` + * Run GNU Hello in a chroot store: ```console |