From 780290277a51853b2e515b16898ca0fcfa1e9e71 Mon Sep 17 00:00:00 2001 From: Karen Arutyunov Date: Mon, 26 Feb 2018 22:00:22 +0300 Subject: Update rep-fetch --- bpkg/rep-remove.cli | 15 ++++++++++++--- 1 file changed, 12 insertions(+), 3 deletions(-) (limited to 'bpkg/rep-remove.cli') diff --git a/bpkg/rep-remove.cli b/bpkg/rep-remove.cli index 3662b2b..25280b2 100644 --- a/bpkg/rep-remove.cli +++ b/bpkg/rep-remove.cli @@ -17,8 +17,9 @@ namespace bpkg "\h|SYNOPSIS| - \c{\b{bpkg rep-remove}|\b{remove} [] (|)... | - (--all|-a)} + \c{\b{bpkg rep-remove}|\b{remove} [] (|)...}\n + \c{\b{bpkg rep-remove}|\b{remove} [] (--all|-a)}\n + \c{\b{bpkg rep-remove}|\b{remove} [] --clean} \h|DESCRIPTION| @@ -29,7 +30,10 @@ namespace bpkg Alternatively, the \cb{--all|-a} option can be used to remove all the repositories that were previously added (\l{bpkg-rep-add(1)}) to the - configuration." + configuration. + + Finally, the \cb{--clean} option can be used to revert the repositories + to the clean state, as if they were added but never fetched." } class rep_remove_options: configuration_options @@ -40,5 +44,10 @@ namespace bpkg { "Remove all the repositories." } + + bool --clean + { + "Clean the repository state." + } }; } -- cgit v1.1