diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-02-21 12:09:31 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-02-21 14:35:01 +0100 |
| commit | 08b5b101cf08580779b17541136ee806b8436918 (patch) | |
| tree | 1bc9bc3c403ece15d576c1dad6ae5f6d763d5d07 /share | |
| parent | 824bd5e16d8e79ca40ae9a460af4627680673c14 (diff) | |
| download | justbuild-08b5b101cf08580779b17541136ee806b8436918.tar.gz | |
just-import-git: support setting "inherit env"
When importing a repository via just-import-git, allow to
specify the value for the "inherit env" property for the
repository just being imported.
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just-import-git.1.md | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/share/man/just-import-git.1.md b/share/man/just-import-git.1.md index 4d33f488..b3eca023 100644 --- a/share/man/just-import-git.1.md +++ b/share/man/just-import-git.1.md @@ -82,7 +82,7 @@ for a single repository. Useful, if the repository to be imported does not have a repository configuration or should be imported without dependencies. -**`--mirror`** *`URL`* +**`--mirror`** *`URL`* Provides an alternative fetch location for the imported repository. Specifying this option multiple times will accumulate URLs in the order they appear on the command line. These URLs will not be used during the @@ -90,6 +90,15 @@ import, but instead will be recorded as the value of the `"mirrors"` key in the resulting configuration of the imported repository. See **`just-mr-repository-config`**(5). +**`--inherit-env`** *`VAR`* +Specify, for the imported repository, environment variables to +be inherited when fetching the repository by calling `git`. These +variables will not be taken into account during the import (where +the whole environment is inherited), but instead will be recorded as +the value for the `"inherit env"` key in the resulting configuration +of the imported repository. +See **`just-mr-repository-config`**(5). + See also ======== |