This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [PATCH 5/7] PR gdb/15224 , Change the default set history filename to ~/.gdb_history.
- From: Tom Tromey <tromey at redhat dot com>
- To: Pedro Alves <palves at redhat dot com>
- Cc: Eli Zaretskii <eliz at gnu dot org>, mbilal at codesourcery dot com, gdb-patches at sourceware dot org, jan dot kratochvil at redhat dot com
- Date: Thu, 01 Aug 2013 09:41:18 -0600
- Subject: Re: [PATCH 5/7] PR gdb/15224 , Change the default set history filename to ~/.gdb_history.
- References: <51877A32 dot 1030503 at codesourcery dot com> <51877A99 dot 4060503 at codesourcery dot com> <51877B42 dot 7 at codesourcery dot com> <51877BC6 dot 6080007 at codesourcery dot com> <51877C76 dot 2000509 at codesourcery dot com> <518A0BA8 dot 9000703 at codesourcery dot com> <51936CAF dot 2090508 at codesourcery dot com> <51937A87 dot 2030403 at codesourcery dot com> <83ehd85q79 dot fsf at gnu dot org> <519CFF3D dot 4080001 at redhat dot com> <83bo82ucpv dot fsf at gnu dot org> <519D099F dot 7090101 at redhat dot com> <83a9nmu8l0 dot fsf at gnu dot org> <519D1EE6 dot 10404 at redhat dot com>
>>>>> "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