Re: [PATCH] Append to input history file instead of overwriting it

Pedro Alves
2014-12-04T16:18:36Z

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