bug-bash
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Ignore-case option to readline disables nosort option to complete


From: Jesper Nygårds
Subject: Re: Ignore-case option to readline disables nosort option to complete
Date: Wed, 3 May 2017 17:04:05 +0200

On Wed, May 3, 2017 at 4:30 PM, Eduardo Bustamante <address@hidden>
wrote:

>
> I think this was fixed as a consequence of the following thread:
> https://lists.gnu.org/archive/html/bug-bash/2017-03/msg00092.html
>
> In this commit:
> http://git.savannah.gnu.org/cgit/bash.git/commit/?h=devel&id=
> f698849a75fc781472806182c3dc930077a5d828
>

Oh, I see. Sorry for the noise, then. Great to see that it's fixed already.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]