On Wed, May 3, 2017 at 4:30 PM, Eduardo Bustamante
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=
> f698849a75fc7814
On 5/3/17 10:30 AM, Eduardo Bustamante 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=f698849a75fc781472806182c3dc93007
On Wed, May 3, 2017 at 8:59 AM, Jesper Nygårds wrote:
> The following snippet is shows that if the readline
> option completion-ignore-case is turned on, the nosort option to complete
> has no effect:
I'm unable to reproduce this using the code from the devel branch:
bash-4.4$
GNU bash, version
