Re: [PATCH] cli: handle bash completion of all shared options

Subject: Re: [PATCH] cli: handle bash completion of all shared options

Date: Sun, 02 May 2021 07:35:08 -0300

To: Tobias Backer Dirks, notmuch@notmuchmail.org

Cc:

From: David Bremner


Tobias Backer Dirks <omgitsaheadcrab@gmail.com> writes:

> A slight rework of base bash completion to handle all shared options.
> This simplifies the handling of base commands and adds creature comforts
> such as directory completion for --config, and removing trailing spaces
> from options ending in an `=`. Also fixes a bug reported in [1], wherein
> completion after an `=` produced erroneous output.
>
> [1]: id:20200602103703.GA13623@taurus.defre.kleine-koenig.org
>
> Signed-off-by: Tobias Backer Dirks <omgitsaheadcrab@gmail.com>

Thanks for the patch. Zsh user here, so I'm hoping it will be reviewed
by someone who uses bash as their daily driver.

d
_______________________________________________
notmuch mailing list -- notmuch@notmuchmail.org
To unsubscribe send an email to notmuch-leave@notmuchmail.org

Thread: