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

mbilal
2013-05-15T12:07:43Z

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