diff --git a/debian-logo.jpg b/debian-logo.jpg new file mode 100644 index 0000000..f2f109f Binary files /dev/null and b/debian-logo.jpg differ diff --git a/debuginfod.html b/debuginfod.html new file mode 100644 index 0000000..6e23c7b --- /dev/null +++ b/debuginfod.html @@ -0,0 +1,88 @@ + + + + + + + +Debuginfod service – Debian + + + + +
+

Debuginfod service – Debian

+ +
+

debian-logo.jpg +

+
+ +

+This is the 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: +

+ +
+
DEBUGINFOD_URLS="https://debuginfod.debian.net"
+
+
+ +

+Enjoy! +

+
+ + diff --git a/debuginfod.org b/debuginfod.org new file mode 100644 index 0000000..8220c57 --- /dev/null +++ b/debuginfod.org @@ -0,0 +1,19 @@ +#+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!