diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-01-26 16:57:57 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-01-30 11:38:45 +0100 |
| commit | 0005677f3ca35f1535f4827433efcd04f3a5d731 (patch) | |
| tree | 6b1f110c31aec7f503b5d3a968370792c7a1b6c5 /share | |
| parent | 2c7ed6a93f6c28320343b2c5dc4990ae2d130832 (diff) | |
| download | justbuild-0005677f3ca35f1535f4827433efcd04f3a5d731.tar.gz | |
just-mr: add option to dump effective rc
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just-mr.1.md | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/share/man/just-mr.1.md b/share/man/just-mr.1.md index b7929625..67313661 100644 --- a/share/man/just-mr.1.md +++ b/share/man/just-mr.1.md @@ -158,6 +158,12 @@ Path to the just-mrrc file to use. See **`just-mrrc`**(5) for more details. Default: file path *`".just-mrrc"`* in the user's home directory. +**`--dump-rc`** *`PATH`* +Dump the effective rc, i.e., the rc after overlaying all applicable auxiliary +files specified in the `"rc files"` field, to the specified file. In this +way, an rc can be made self-contained in preparation for committing it to +a repository. + **`--git`** *`PATH`* Path to the git binary in *`PATH`* or path to the git binary. Used in the rare instances when shelling out to git is needed. |