about summary refs log tree commit homepage
path: root/lib/PublicInbox/LEI.pm
diff options
context:
space:
mode:
authorEric Wong <e@80x24.org>2021-10-22 08:22:47 +0000
committerEric Wong <e@80x24.org>2021-10-22 19:07:39 +0000
commit6f8e16a266b30819ff74c40bc532f8c3f4a9f4b7 (patch)
treed95be5a1ef82bde0ce6d1a29cd45ad74c143d8d8 /lib/PublicInbox/LEI.pm
parent70a3ebbe4f277938d2a129c661a22b93b5f24d80 (diff)
downloadpublic-inbox-6f8e16a266b30819ff74c40bc532f8c3f4a9f4b7.tar.gz
lei forget-search: support --prune=<local|remote>
Instead of:

	lei forget-search $OUTPUT && rm -r $OUTPUT

we'll also allow a user to do:

	rm -r $OUTPUT && lei forget-search --prune

This gives users flexibility to choose whatever flow
is most natural to them.
Diffstat (limited to 'lib/PublicInbox/LEI.pm')
-rw-r--r--lib/PublicInbox/LEI.pm4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/PublicInbox/LEI.pm b/lib/PublicInbox/LEI.pm
index 43baeeb3..cb1e5433 100644
--- a/lib/PublicInbox/LEI.pm
+++ b/lib/PublicInbox/LEI.pm
@@ -222,8 +222,8 @@ our %CMD = ( # sorted in order of importance/use:
 
 'ls-search' => [ '[PREFIX]', 'list saved search queries',
                 qw(format|f=s pretty l ascii z|0), @c_opt ],
-'forget-search' => [ 'OUTPUT...', 'forget a saved search',
-                qw(verbose|v+), @c_opt ],
+'forget-search' => [ 'OUTPUT...|--prune', 'forget a saved search',
+                qw(verbose|v+ prune:s), @c_opt ],
 'edit-search' => [ 'OUTPUT', "edit saved search via `git config --edit'",
                         @c_opt ],
 'rm' => [ '--stdin|LOCATION...',