[Bug cli/23664] New: add "save history" command

[tromey at sourceware dot org]

https://sourceware.org/bugzilla/show_bug.cgi?id=23664

Bug ID: 23664
Summary: add "save history" command
Product: gdb
Version: HEAD
Status: NEW
Severity: normal
Priority: P2
Component: cli
Assignee: unassigned at sourceware dot org
Reporter: tromey at sourceware dot org
Target Milestone: ---

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.