diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-02-04 15:09:09 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-02-05 10:50:26 +0100 |
| commit | 75dcb529a73701e077daa37817556590c831fd58 (patch) | |
| tree | a5b785f99b4fee379d5cc67f33ef9841b2ff062c /share | |
| parent | 4595a0e8f118db6c81aeb38e0b0286ee34d3bc40 (diff) | |
| download | justbuild-75dcb529a73701e077daa37817556590c831fd58.tar.gz | |
just-mr(1): Document new option --drop-only for gc-repo
Diffstat (limited to 'share')
| -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 2d80f76e..f2d4cc73 100644 --- a/share/man/just-mr.1.md +++ b/share/man/just-mr.1.md @@ -12,7 +12,7 @@ SYNOPSIS **`just-mr`** \[*`OPTION`*\]... {**`setup`**|**`setup-env`**} \[**`--all`**\] \[*`main-repo`*\] **`just-mr`** \[*`OPTION`*\]... **`fetch`** \[**`--all`**\] \[**`--backup-to-remote`**] \[**`-o`** *`fetch-dir`*\] \[*`main-repo`*\] **`just-mr`** \[*`OPTION`*\]... **`update`** \[*`repo`*\]... -**`just-mr`** \[*`OPTION`*\]... **`gc-repo`** +**`just-mr`** \[*`OPTION`*\]... **`gc-repo`** \[**`--drop-only`**\] **`just-mr`** \[*`OPTION`*\]... **`do`** \[*`JUST_ARG`*\]... **`just-mr`** \[*`OPTION`*\]... {**`version`**|**`describe`**|**`analyse`**|**`build`**|**`install`**|**`install-cas`**|**`add-to-cas`**|**`rebuild`**|**`gc`**} \[*`JUST_ARG`*\]... @@ -298,6 +298,10 @@ Every root used is added to the youngest generation. Therefore upon a call to **`gc-repo`** all roots are cleaned up that were not used since the last **`gc-repo`**. +If **`--drop-only`** is given, only the old generations are cleaned up, +without rotation. In this way, storage can be reclaimed; this might be +necessary as no perfect sharing happens between the repository generations. + do -- |