Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: [PATCH] Fix pgrep/pkill -f completion



On Tue, May 25, 2021, at 3:42 AM, dana wrote:
> On 21 May 2021, at 07:59, Marlon Richert <marlon.richert@xxxxxxxxx> wrote:
> > Old completion produced false positives & took too much screen space.
> 
> There are a few issues with this:
>
> [...]
>
> Attached fixes the first four issues

Any additional feedback on Marlon's original patch or on dana's
alternatives?

-- 
vq




Messages sorted by: Reverse Date, Date, Thread, Author