Re: [PATCH 5/7] PR gdb/15224 , Change the default set history filename to ~/.gdb_history.

Doug Evans
2013-08-01T22:17:14Z

On Thu, Aug 1, 2013 at 8:41 AM, Tom Tromey <tromey@redhat.com> wrote:
>>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes:
>
> Pedro> The default has been to not save the history at all.
> Pedro> When weighing the pros and cons, I believe the pros outweigh the cons.
> Pedro> That's just my opinion, and I've just tried to clarify why I have it.
>
> I've re-read this thread and I agree that the change should be made.

I concur.