diff options
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 |