We’re comfortable to announce that Ubuntu now has a debuginfod
service out there for its customers!
What’s debuginfod?
In line with the venture’s official web page, debuginfod
“… is a shopper/server software program that mechanically distributes ELF/DWARF/source-code from servers to shoppers akin to debuggers throughout HTTP”
You may consider debuginfod
as a a lot better substitute for debuginfo packages (i.e., the ddebs
packages we now have in Ubuntu). While you configure your system to make use of a debuginfod
server, the debugging instrument you might be utilizing will mechanically obtain the debug symbols it wants over HTTPS, making the method far more seamless.
How can I exploit it?
In case you are utilizing Ubuntu 22.10 Kinetic Kudo, once you set up GDB (GNU Debugger) your system can be configured to contact Ubuntu’s debuginfod
service mechanically when you’re debugging a program. GDB will ask you to substantiate whether or not you need to use debuginfod
once you invoke it. Please discuss with the service webpage for extra particulars on the way to configure GDB to mechanically use the service
In case you are utilizing a supported Ubuntu sequence launched earlier than 22.10 (e.g., 22.04 LTS), you’ll need to manually configure the service for now. However don’t despair! All it is advisable do is guarantee that the DEBUGINFOD_URLS
variable is exported into your atmosphere. The next ought to do it:
export DEBUGINFOD_URLS="https://debuginfod.ubuntu.com"
In case you are utilizing Bash as your shell, you may add the above snippet to your ~/.bashrc
file.
The place can I discover extra details about the service?
You may go to the service webpage, which ought to redirect you to the Ubuntu Server Information’s debuginfod
web page. There you can see extra particulars in regards to the service and a hyperlink to a FAQ web page as properly.