This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [PATCH 4/5] [PR gdb/15224] Change the default set history filename to ~/.gdb_history.
- From: Eli Zaretskii <eliz at gnu dot org>
- To: Muhammad Bilal <mbilal at codesourcery dot com>
- Cc: gdb-patches at sourceware dot org, palves at redhat dot com, jan dot kratochvil at redhat dot com
- Date: Thu, 08 Aug 2013 20:31:37 +0300
- Subject: Re: [PATCH 4/5] [PR gdb/15224] Change the default set history filename to ~/.gdb_history.
- References: <52032A9F dot 3050509 at codesourcery dot com>
- Reply-to: Eli Zaretskii <eliz at gnu dot org>
> Date: Thu, 8 Aug 2013 10:20:31 +0500
> From: Muhammad Bilal <mbilal@codesourcery.com>
> CC: Pedro Alves <palves@redhat.com>, <jan.kratochvil@redhat.com>, Eli
> Zaretskii <eliz@gnu.org>
>
> This patch Changed the default set history filename to ~/.gdb_history
> so that users can easily find it
> in $HOME directory.
OK for the docs.
Thanks.