GNU bug report logs - #60031
30.0.50; [PATCH] Fix GDB default history size

Previous Next

Full log

Message #8 received at 60031 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Manuel Giraud <manuel <at> ledu-giraud.fr>
Cc: 60031 <at> debbugs.gnu.org
Subject: Re: bug#60031: 30.0.50; [PATCH] Fix GDB default history size
Date: Tue, 13 Dec 2022 14:57:19 +0200

> From: Manuel Giraud <manuel <at> ledu-giraud.fr>
> Date: Tue, 13 Dec 2022 11:01:17 +0100
> 
> Here is a patch that fixes the default for GDB history size.

Maybe I'm missing something, but why do we need this?  It looks to me
like the code below the getenv call already refrains from changing the
value of comint-input-ring-size if HISTSIZE is not set, or is zero,
etc.  What did I miss?

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.