This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [PATCH] Append to input history file instead of overwriting it
- From: Pedro Alves <palves at redhat dot com>
- To: Patrick Palka <patrick at parcs dot ath dot cx>, gdb-patches at sourceware dot org
- Date: Thu, 04 Dec 2014 16:18:30 +0000
- Subject: Re: [PATCH] Append to input history file instead of overwriting it
- Authentication-results: sourceware.org; auth=none
- References: <1417226462-11254-1-git-send-email-patrick at parcs dot ath dot cx>
On 11/29/2014 02:01 AM, Patrick Palka wrote:
> This patch makes readline append new history lines to the GDB history
> file on exit instead of overwriting the entire history file on exit.
> This change allows us to run multiple simultaneous GDB sessions without
> having each session overwrite the added history of each other session on
> exit. It is particularly helpful when debugging GDB with GDB.
>
> Does this look OK to commit? Tested on x86_64-unknown-linux-gnu.
Does this mean the history file will keep growing forever, rather than
be trimmed by the history size?
Thanks,
Pedro Alves