diff options
author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-08-17 09:45:44 +0200 |
---|---|---|
committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-08-25 18:11:23 +0200 |
commit | 10a5d3b3c93d4dfbae5705270aa68535dd789048 (patch) | |
tree | 712146dbdf0b9cba3b0600b41ae77e21c3ccbbe0 | |
parent | 9f5f1791f77918af06ae7abf4f5c899f45b5e6f6 (diff) | |
download | justbuild-10a5d3b3c93d4dfbae5705270aa68535dd789048.tar.gz |
man: Document --backup-to-remote argument for just-mr fetch
-rw-r--r-- | share/man/just-mr.1.md | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/share/man/just-mr.1.md b/share/man/just-mr.1.md index f67f4df8..26429856 100644 --- a/share/man/just-mr.1.md +++ b/share/man/just-mr.1.md @@ -11,7 +11,7 @@ SYNOPSIS **`just-mr`** \[*`OPTION`*\]... **`mrversion`** **`just-mr`** \[*`OPTION`*\]... {**`setup`**|**`setup-env`**} \[**`--all`**\] \[*`main-repo`*\] -**`just-mr`** \[*`OPTION`*\]... **`fetch`** \[**`--all`**\] \[**`-o`** *`fetch-dir`*\] \[*`main-repo`*\] +**`just-mr`** \[*`OPTION`*\]... **`fetch`** \[**`--all`**\] \[**`--backup-to-remote`**] \[**`-o`** *`fetch-dir`*\] \[*`main-repo`*\] **`just-mr`** \[*`OPTION`*\]... **`update`** \[*`repo`*\]... **`just-mr`** \[*`OPTION`*\]... **`do`** \[*`JUST_ARG`*\]... **`just-mr`** \[*`OPTION`*\]... {**`version`**|**`analyse`**|**`build`**|**`install`**|**`install-cas`**|**`describe`**|**`rebuild`**} \[*`JUST_ARG`*\]... @@ -219,6 +219,10 @@ existing distribution directory can be found an error is produced. To define an output directory that is independent of the given distribution directories, use the **`-o`** option. +Additionally, and only in *native mode*, the **`--backup-to-remote`** option can +be used in combination with the **`--remote-execution-address`** argument to +synchronize the locally fetched archives with a remote endpoint. + update ------ |