[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 <dualbus@gmail.com>
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.