20 lines
628 B
Org Mode
20 lines
628 B
Org Mode
#+TITLE: Debuginfod service -- Debian
|
|
#+AUTHOR: Sergio Durigan Junior
|
|
#+OPTIONS: toc:nil num:nil html-style:nil author:nil html-postamble:nil
|
|
|
|
#+ATTR_HTML: :align center
|
|
[[file:debian-logo.jpg]]
|
|
|
|
This is the [[https://sourceware.org/elfutils/Debuginfod.html][debuginfod]] service for Debian. For more information about
|
|
it, please refer to https://wiki.debian.org/Debuginfod.
|
|
|
|
If the Debian distribution you are using is supported (check in the
|
|
link above) and you want to use it, the following environment variable
|
|
must be set in your shell:
|
|
|
|
#+begin_src shell
|
|
DEBUGINFOD_URLS="https://debuginfod.debian.net"
|
|
#+end_src
|
|
|
|
Enjoy!
|