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: mbilal <mbilal at codesourcery dot com>
- To: <eliz at gnu dot org>
- Cc: <palves at redhat dot com>, <gdb-patches at sourceware dot org>, <jan dot kratochvil at redhat dot com>
- Date: Wed, 15 May 2013 17:07:35 +0500
- 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>
On Wednesday, May 15, 2013 4:31 PM Eli wrote:
Any reasons why we should be changing the default? Is it bad to have
>a different history file in each project's directory?
On Mon, 01 Apr 2013 14:29:30 +0200, Jan Kratochvil wrote:
I see there should be also changed the default to:
set history filename ~/.gdb_history
Otherwise it is a similar pain to ./.gdbinit, it is also non-standard to any
other normal application which use history files in $HOME, I do not find using
./.gdb_history by default as acceptable.
All therequirement for this issue has beendiscussed here.
http://sourceware.org/ml/gdb-patches/2013-04/msg00067.html
Thanks,
-Bilal