Re: Wondering if record save should be deprecated

[Keith Seitz via Gdb <gdb@sourceware.org>]

On 7/10/24 12:58 PM, Guinevere Larsen via Gdb wrote:
> Hi everyone!

Warning: I am not a record/replay user.

> Does it make sense for us to continue supporting this feature that was 
> nigh unusable for 5 releases without anyone noticing? Does anyone 
> reading this makes use of this feature and managed to somehow avoid that 
> crash?

 From the User Manual:

record save filename

     Save the execution log to a file filename. Default filename is 
gdb_record.process_id, where process_id is the process ID of the inferior.

     This command may not be available for all recording methods.


This certainly sounds like a useful feature to have/keep/make work.
I can envision some use cases where this would really be useful.

That said, I would not be quick to confuse utility with awareness.
GDB has so many features nowadays that even as a developer/packager
for it, I feel I barely use more than 25-30% of GDB's available
features.

My vote is to fix it, test it, and keep it.

Keith