diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2025-01-02 11:56:36 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2025-02-20 15:33:53 +0100 |
| commit | 413d9ee4211a78a35e753bb7d6b21211ae928fbd (patch) | |
| tree | 199d761f0b67ae889ad62b1098ba3b2b5f128ed9 | |
| parent | 0e8dec3f3b75f671b3c2b2630c9ad7b7ce736c87 (diff) | |
| download | justbuild-413d9ee4211a78a35e753bb7d6b21211ae928fbd.tar.gz | |
just-lock(1): Document --clone option
| -rw-r--r-- | share/man/just-lock.1.md | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/share/man/just-lock.1.md b/share/man/just-lock.1.md index bc272a9f..11bfadc6 100644 --- a/share/man/just-lock.1.md +++ b/share/man/just-lock.1.md @@ -71,6 +71,16 @@ Path to the git binary in *`PATH`* or path to the git binary. Used when shelling out to git is needed. Default: *`"git"`*. +**`--clone`** *`JSON_MAP`* +JSON map from filesystem path to pair of repository name and list of bindings. +For each map entry, the target repository, found by following the bindings from +a given start repository, after all repositories have been imported, will have +its workspace root cloned in the specified filesystem directory and its +description in the output configuration made to point to this clone. +The start repository names must be known, i.e., an initial repository or +declared import, and both the start and target repositories will be kept during +deduplication. + See also ======== |