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

Eli Zaretskii
2013-05-15T11:31:24Z

> 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.