diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-02-11 08:52:48 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-02-11 16:32:15 +0100 |
| commit | 11279f7e7a808d5440ebfeaa734b892d202094e0 (patch) | |
| tree | 1b1a61165423a40953835f51df6dbdb9aec29af2 /share/man | |
| parent | ecf06437292740589533d87d527efd1020d4fca7 (diff) | |
| download | justbuild-11279f7e7a808d5440ebfeaa734b892d202094e0.tar.gz | |
checkout locations: support extra environment variables to inherit
Diffstat (limited to 'share/man')
| -rw-r--r-- | share/man/just-mr.1.md | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/share/man/just-mr.1.md b/share/man/just-mr.1.md index f2d4cc73..25658a96 100644 --- a/share/man/just-mr.1.md +++ b/share/man/just-mr.1.md @@ -90,6 +90,13 @@ This file contains a JSON object with several known keys: specifying known hostnames. When fetching from a non-local mirror, URLs with hostnames in the given list are preferred (in the order given) over URLs with other hostnames. + - the key *`"extra inherit env"`*, if given, is a list of strings + specifying additional variable names to be inherited from the + environment (besides the ones specified in *`"inherit env"`* + of the respective repository definition). This can be useful, + if the local git mirrors use a different protocol (like `ssh` + instead of `https`) and hence require different variables to + pass the credentials. This options overwrites any values set in the **`just-mrrc`**(5) file. Default: file path *`".just-local.json"`* in user's home directory. |