This is the mail archive of the gdb-patches@sourceware.org mailing list for the GDB project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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


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.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]