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: Eli Zaretskii <eliz at gnu dot org>
- To: mbilal <mbilal at codesourcery dot com>
- Cc: palves at redhat dot com, gdb-patches at sourceware dot org, jan dot kratochvil at redhat dot com
- Date: Wed, 15 May 2013 14:31:15 +0300
- 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>
- Reply-to: Eli Zaretskii <eliz at gnu dot org>
> Date: Wed, 15 May 2013 16:08:31 +0500
> From: mbilal <mbilal@codesourcery.com>
> CC: <jan.kratochvil@redhat.com>
>
> In This patch Default location of History file has been changed to user
> home directory (~/.gdb_history).
Any reasons why we should be changing the default? Is it bad to have
a different history file in each project's directory?
The patches for the documentation parts are approved.
Thanks.