Debuginfod in an interactive gdb frontend

[Tom Tromey]

>>>>> "Dmitry" == Dmitry Neverov via Gdb <gdb@sourceware.org> writes:

Dmitry> Please suggest how to integrate with debuginfod in the interactive gdb frontend.
Dmitry> Since loading debug information can be slow, I'd like to ask the user
Dmitry> before loading, similar to what `set debuginfod enabled ask` does in
Dmitry> the terminal. The 'set debuginfod enabled ask' defaults to 'N' in the
Dmitry> non-interactive terminal. Is there any way to hook into this
Dmitry> interaction and make the answer depend on user choice in UI without
Dmitry> typing in the console?

Dmitry> Also since loading takes time, I'd like to show some progress in UI.
Dmitry> Is it possible to get notified when the debuginfo loading for a given
Dmitry> binary starts/finishes, and with which result?

Dmitry> I thought I could write a MissingDebugHandler in python and wrap
Dmitry> debuginfod with necessary progress, but it looks like debuginfod api
Dmitry> is not available in python.

gdb doesn't really have a way to forward these user questions over MI
(assuming that is what you are using).

Maybe one option would be for your front end to present the choice to
the user somehow and then use this to change the gdb setting.

For progress notification -- MI does have some notion of this.  I didn't
look but I assume the debuginfod support isn't using it.  This could be
changed.

Tom