[Bug cli/19395] New: add a "save user" command

[tromey at sourceware dot org]

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

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

Occasionally I write a new command with "define".
It would be nice to have a "save user" command that would
write out the definition to a file.

[tromey at sourceware dot org]

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

Tom Tromey <tromey at sourceware dot org> changed:

What |Removed |Added
----------------------------------------------------------------------------
Keywords| |good-first-bug