diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-03-07 18:07:47 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-03-08 15:40:56 +0100 |
| commit | aaf386931165d003628780c4d914d3bbc9798a38 (patch) | |
| tree | cb2b2c1621fcd4b0e67e79e708bfe1df3c6f4be5 /share | |
| parent | 8eed2f91094a126499cf5552661dddd2c2fda155 (diff) | |
| download | justbuild-aaf386931165d003628780c4d914d3bbc9798a38.tar.gz | |
just-mr: fix options mismatches
... both with respect to just options and the man page specifications.
Option -L of just-mr was reassigned as a short name for
--local-launcher, matching its use in just. Its place is now
correctly held by the full name option --checkout-locations, as
per the section-1 man page.
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just-mr.1.org | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/share/man/just-mr.1.org b/share/man/just-mr.1.org index 8f8a1e2b..21047d18 100644 --- a/share/man/just-mr.1.org +++ b/share/man/just-mr.1.org @@ -47,7 +47,7 @@ See *just-mr-repository-config(5)* for more details on the input format. in the *just-mrrc(5)* file.\\ Default: path ~".cache/just"~ in user's home directory. - *-L*, *--checkout-locations* PATH\\ + *--checkout-locations* PATH\\ Specification file for checkout locations. This file contains a JSON object, for which under the key ~"<version control>"~ of key ~"checkouts"~ we get pairs of repository URLs as keys and absolute paths as values. Currently @@ -57,7 +57,7 @@ See *just-mr-repository-config(5)* for more details on the input format. options overwrites any values set in the *just-mrrc(5)* file.\\ Default: file path ~".just-local.json"~ in user's home directory. - *--local-launcher* <JSON_ARRAY>\\ + *-L*, *--local-launcher* <JSON_ARRAY>\\ JSON array with the list of strings representing the launcher to prepend actions' commands before being executed locally.\\ Default: ~["env", "--"]~. |