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.
I have a patch for this, just no docs yet.
The master branch has been updated by Tom Tromey <tromey@sourceware.org>: https://sourceware.org/git/gitweb.cgi?p=binutils-gdb.git;h=989f741651a8626a887a5a63e06c5d82d3fd7dcd commit 989f741651a8626a887a5a63e06c5d82d3fd7dcd Author: Tom Tromey <tom@tromey.com> Date: Mon Jan 23 16:10:53 2023 -0700 Add "save user" command PR cli/19395 points out that it would sometimes be convenient to save one's user-defined commands to a file. This patch implements this feature. Bug: https://sourceware.org/bugzilla/show_bug.cgi?id=19395 Reviewed-By: Eli Zaretskii <eliz@gnu.org> Reviewed-By: Keith Seitz <keiths@redhat.com>
Fixed.