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

[Tom Tromey]

>>>>> "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.

thanks,
Tom