diff options
author | Eric Wong <e@80x24.org> | 2021-10-22 08:22:47 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2021-10-22 19:07:39 +0000 |
commit | 6f8e16a266b30819ff74c40bc532f8c3f4a9f4b7 (patch) | |
tree | d95be5a1ef82bde0ce6d1a29cd45ad74c143d8d8 /lib/PublicInbox/LEI.pm | |
parent | 70a3ebbe4f277938d2a129c661a22b93b5f24d80 (diff) | |
download | public-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.pm | 4 |
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...', |