[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.

-- 
You are receiving this mail because:
You are on the CC list for the bug.