Re: how to save/restore (all?) bindings

[Christoph Anton Mitterer]

On Mon, 2023-10-23 at 16:14 -0400, Chet Ramey wrote:
> On 10/20/23 4:25 PM, Christoph Anton Mitterer wrote:
> > On Fri, 2023-10-20 at 12:44 -0400, Grisha Levit wrote:
> > > This is probably the ANYOTHERKEY thing fixed in
> > > https://lists.gnu.org/archive/html/bug-readline/2023-08/msg00005.htmlCad
> > 
> > Ah. Thanks.
> > 
> > Indeed, it doesn't happen on a bash compiled from git master.
> 
> You probably meant the git devel branch.

Yes indeed. Sorry for the confusion.


Cheers,
Chris.