diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2023-06-13 21:05:35 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2023-06-16 11:10:04 +0300 |
commit | 32e4cffb444d4ad936c9037eecea9bd78f81f3d0 (patch) | |
tree | bbbb4452a88f47449c86a7ff85b9617ab7b621da /bpkg/pkg-build.cli | |
parent | c98f1215387f993329a96785a2a9102d93cb0328 (diff) |
Add --mask-repository pkg-build optionmask-repos-old
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 |