Re: [RFC] syntax change for "record save"

[Hui Zhu <teawater at gmail dot com>]

Hi Joel,

I think python must can make prec work very powerful.
But let record save can do small thing can make it more flexible.  It
still can be use when the gdb did't support python.

BTW, maybe we can put example about use prec together with python to wiki.

Thanks,
Hui



On Fri, Nov 27, 2009 at 09:37, Joel Brobecker <brobecker@adacore.com> wrote:
>> This proposal follows from Teawater's thread
>> "A question about gdb script", in which Teawater
>> wants to know how to use a gdb local variable
>> to append a sequence number to the file name
>> of a record log file.
>
> This is not an objection, but I am really not fond of that extension.
> It feels ad hoc that the extension, if provided, should be evaluated
> as an integer. What if the user wanted a more general scheme? Or what
> if he wanted to the suffix to be in hex?
>
> If I were Teawater, I'd probably look at writing a python script
> rather than a GDB script. ?In particular, it's easy to compose the
> right CLI command from python using:
>
> ? ?(gdb) python gdb.execute("rec save file.%d" % 1)
>
> You can replace the "1" above by an python variable, including
> one obtained by evaluating an expression as a long.
>
> One thing that you might want to look at, to make things even easier,
> is providing a Python interface to the record layer... ?Combine that
> with the work done on getting inferior "events" (I can't remember
> exactly the name of that project - I think it was a GSOC), and it
> should be possible to script really nice things...
>
> --
> Joel
>