diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2023-06-20 20:22:29 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2023-06-21 12:01:03 +0300 |
commit | fdfd3e0644095022b61316e220fce3f5a7a1a9ef (patch) | |
tree | b4e8098437fe5e11920aebd71dd581212c4d2f10 /bpkg/pkg-build.cli | |
parent | 8ae1780760db7f73c7045481e6fd18c7fbada60d (diff) |
Add --mask-repository-uuid pkg-build option
Diffstat (limited to 'bpkg/pkg-build.cli')
-rw-r--r-- | bpkg/pkg-build.cli | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/bpkg/pkg-build.cli b/bpkg/pkg-build.cli index 3db6e9f..a365082 100644 --- a/bpkg/pkg-build.cli +++ b/bpkg/pkg-build.cli @@ -411,6 +411,19 @@ namespace bpkg mask multiple repositories." } + strings --mask-repository-uuid + { + "<v>", + "For the duration of the command execution pretend the specified + repository was removed from the specified configuration. Similar to + \cb{--mask-repository} but only masks the repository in a single + configuration. The option value is a key-value pair in the form: + + \c{\i{config-uuid}\b{=}\i{rep}} + + Repeat this option to mask multiple repositories." + } + bool --no-refinement { "Don't try to refine the configuration by offering to drop any unused |