diff options
author | Eric Wong <e@80x24.org> | 2021-10-15 14:02:15 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2021-10-15 15:58:24 +0000 |
commit | 14f65bca12e367eed79e7b737d1cb19929599cf6 (patch) | |
tree | dfc3a916ee0c5195c9edefabaaa1588a953e5383 /lib/PublicInbox/LEI.pm | |
parent | 06d0f4419011dc6546ae200e4fbc1558464509c2 (diff) | |
download | public-inbox-14f65bca12e367eed79e7b737d1cb19929599cf6.tar.gz |
I've been testing a lot of searches which I don't want to keep around, so make it easy to remove a bunch at once. We'll behave like rm(1) and keep going in the face of failure.
Diffstat (limited to 'lib/PublicInbox/LEI.pm')
-rw-r--r-- | lib/PublicInbox/LEI.pm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/PublicInbox/LEI.pm b/lib/PublicInbox/LEI.pm index 83534878..7dfd3398 100644 --- a/lib/PublicInbox/LEI.pm +++ b/lib/PublicInbox/LEI.pm @@ -225,7 +225,7 @@ 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', +'forget-search' => [ 'OUTPUT...', 'forget a saved search', qw(verbose|v+), @c_opt ], 'edit-search' => [ 'OUTPUT', "edit saved search via `git config --edit'", @c_opt ], |