On Fri, 2026-11-06 at 15:42 -0500, Frank Ch. Eigler wrote: > > In general it's problematic that the filename of the cached file is > > lost / not available in the debuginfod cache. [...] > > It actually is presented in http headers and kept by the clients: > debuginfod_get_headers() returns it; debuginfod-find -v prints it.
Oh nice, thanks. I will think about this and propose a patch to GDB to use this value as (at least part of) the name of the shared library shown to users.
