Bug 23664

Summary:	add "save history" command
Product:	gdb	Reporter:	Tom Tromey <tromey>
Component:	cli	Assignee:	Tom Tromey <tromey>
Status:	NEW ---
Severity:	normal	CC:	ssbssa
Priority:	P2
Version:	HEAD
Target Milestone:	---
Host:		Target:
Build:		Last reconfirmed:

Description Tom Tromey 2018-09-15 18:55:42 UTC

Sometimes I'd like to be able to write out some of my
command-line history as a gdb script.
Maybe a "save history" command with parameters to control which
elements are saved.

Comment 1 Tom Tromey 2023-01-24 00:41:04 UTC

Working on a patch.

Comment 2 Hannes Domani 2024-01-10 16:43:09 UTC

Maybe a dup of PR15328?

Comment 3 Tom Tromey 2024-01-11 17:14:56 UTC

I sent a patch for "save history" but not any of the other stuff.
So I tend to think this could remain separate.