The operating system I am currently using is Ubuntu 22.04 (Jammy Jellyfish).
I referred to Ubuntu's Service - Debuginfod official documentation, link: https://ubuntu.com/server/docs/service-debuginfod
And add export DEBUGINFOD_URLS="https://debuginfod.ubuntu.com"
to .bashrc as described in the documentation.
Now I can use gdb gcc to get the relevant debuginfo prompt information, as shown below:
Reading symbols from gcc...
Reading symbols from /usr/lib/debug/.build-id/6d/b0b50ebf17b931988c0e36786507e5c58fe192.debug...
But when I use gdb gdb, I get No debugging symbols found in gdb. Does Ubuntu not yet provide debuginfo for gdb?
Thanks for any reply.
gdb-dbgsym
. So it should be available. – Artur Meinild Sep 11 '23 at 08:28export
statement to.bashrc
, did you start a new shell? Or did you run theexport
statement in your current shell as well? – muru Sep 11 '23 at 08:43gdb
injammy
is12.0.90-0ubuntu1
, and it has since been superseded by12.1-0ubuntu1~22.04
injammy-updates
. But the list given by @ArturMeinild specifies version12.0.90-0ubuntu1
. And if I downgrade usingapt install gdb=12.0.90-0ubuntu1
,gdb
then shows: "Downloading 36.60 MB separate debug info for /usr/bin/gdb". Looks like the newer package doesn't have debug symbols published yet. – muru Sep 11 '23 at 09:10