diff options
author | Alexander Schmolck <a.schmolck+git@gmail.com> | 2023-04-30 14:55:08 +0100 |
---|---|---|
committer | Alexander Schmolck <a.schmolck+git@gmail.com> | 2023-05-17 08:10:30 +0100 |
commit | afd9bd787dddc4e0d3e370f1b043e442ce1a9dbc (patch) | |
tree | f81c2a0a684e8fa14b4263c821df9e176dd5f1ba /src/nix/develop.md | |
parent | 8d4b6766e297314f69ee96b6c9d74c6c2637f84b (diff) |
Also use long options in src/nix/*.md
Diffstat (limited to 'src/nix/develop.md')
-rw-r--r-- | src/nix/develop.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/nix/develop.md b/src/nix/develop.md index c49b39669..1b5a8aeba 100644 --- a/src/nix/develop.md +++ b/src/nix/develop.md @@ -69,7 +69,7 @@ R""( * Run a series of script commands: ```console - # nix develop --command bash -c "mkdir build && cmake .. && make" + # nix develop --command bash --command "mkdir build && cmake .. && make" ``` # Description |