This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [patch-readline] history file reading
> Date: Tue, 21 Mar 2006 09:58:42 -0500
> From: Daniel Jacobowitz <drow@false.org>
> Cc: Eli Zaretskii <eliz@gnu.org>, gdb-patches@sources.redhat.com, bash-maintainers@gnu.org
>
> > > This new version of my patch changes the way we read history files to
> > > allow "\r\n" in end-of-line.
> > > I don't change any more the way we write history files.
> >
> > I don't see any problem with including this, or a variant.
>
> Fine by me too.
And fine with me, obviously.
> I've checked this in with formatting fixes.
Thanks.