diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2023-06-16 18:17:07 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2023-06-19 13:49:27 +0300 |
commit | 636d69c1b740d8975bb7c7a3b518c280ac224545 (patch) | |
tree | be9552beaea26413280bac12dabf07127bec4e28 /bpkg/pkg-build.cli | |
parent | 5e6c781d4a1fafdb5e81c17b792cd36b7433ce90 (diff) |
Add --mask-repository 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 c2902ea..3db6e9f 100644 --- a/bpkg/pkg-build.cli +++ b/bpkg/pkg-build.cli @@ -398,6 +398,19 @@ namespace bpkg option in \l{bpkg-rep-fetch(1)} for details." } + strings --mask-repository + { + "<rep>", + "For the duration of the command execution pretend the specified + repository was removed as if by performing the \cb{rep-remove} + command. The repository can be specified either as a repository name or + as a repository location (URL or a directory path). Note that the + repository's complement and prerequisite repositories are also + considered masked, recursively, unless they are complements and/or + prerequisites of other unmasked repositories. Repeat this option to + mask multiple repositories." + } + bool --no-refinement { "Don't try to refine the configuration by offering to drop any unused |