diff options
Diffstat (limited to 'bpkg/pkg-build.cli')
-rw-r--r-- | bpkg/pkg-build.cli | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/bpkg/pkg-build.cli b/bpkg/pkg-build.cli index 05d4077..244ebac 100644 --- a/bpkg/pkg-build.cli +++ b/bpkg/pkg-build.cli @@ -397,6 +397,15 @@ namespace bpkg option in \l{bpkg-rep-fetch(1)} for details." } + strings --mask-repository + { + "<rep>", + "Pretend, for the duration of the command execution, that repository + doesn't exist in the configuration. The repository can be specified + either as a repository name or as a repository location (URL or a + directory path). Repeat this option to mask multiple repositories." + } + bool --no-refinement { "Don't try to refine the configuration by offering to drop any unused |