88 lines
2.8 KiB
HTML
88 lines
2.8 KiB
HTML
<?xml version="1.0" encoding="utf-8"?>
|
|
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
|
|
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
|
|
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
|
|
<head>
|
|
<!-- 2021-02-22 Mon 21:18 -->
|
|
<meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
|
|
<meta name="viewport" content="width=device-width, initial-scale=1" />
|
|
<title>Debuginfod service – Debian</title>
|
|
<meta name="generator" content="Org mode" />
|
|
<script type="text/javascript">
|
|
/*
|
|
@licstart The following is the entire license notice for the
|
|
JavaScript code in this tag.
|
|
|
|
Copyright (C) 2012-2020 Free Software Foundation, Inc.
|
|
|
|
The JavaScript code in this tag is free software: you can
|
|
redistribute it and/or modify it under the terms of the GNU
|
|
General Public License (GNU GPL) as published by the Free Software
|
|
Foundation, either version 3 of the License, or (at your option)
|
|
any later version. The code is distributed WITHOUT ANY WARRANTY;
|
|
without even the implied warranty of MERCHANTABILITY or FITNESS
|
|
FOR A PARTICULAR PURPOSE. See the GNU GPL for more details.
|
|
|
|
As additional permission under GNU GPL version 3 section 7, you
|
|
may distribute non-source (e.g., minimized or compacted) forms of
|
|
that code without the copy of the GNU GPL normally required by
|
|
section 4, provided you include this license notice and a URL
|
|
through which recipients can access the Corresponding Source.
|
|
|
|
|
|
@licend The above is the entire license notice
|
|
for the JavaScript code in this tag.
|
|
*/
|
|
<!--/*--><![CDATA[/*><!--*/
|
|
function CodeHighlightOn(elem, id)
|
|
{
|
|
var target = document.getElementById(id);
|
|
if(null != target) {
|
|
elem.cacheClassElem = elem.className;
|
|
elem.cacheClassTarget = target.className;
|
|
target.className = "code-highlighted";
|
|
elem.className = "code-highlighted";
|
|
}
|
|
}
|
|
function CodeHighlightOff(elem, id)
|
|
{
|
|
var target = document.getElementById(id);
|
|
if(elem.cacheClassElem)
|
|
elem.className = elem.cacheClassElem;
|
|
if(elem.cacheClassTarget)
|
|
target.className = elem.cacheClassTarget;
|
|
}
|
|
/*]]>*///-->
|
|
</script>
|
|
</head>
|
|
<body>
|
|
<div id="content">
|
|
<h1 class="title">Debuginfod service – Debian</h1>
|
|
|
|
<div class="figure">
|
|
<p><img src="debian-logo.jpg" alt="debian-logo.jpg" align="center" />
|
|
</p>
|
|
</div>
|
|
|
|
<p>
|
|
This is the <a href="https://sourceware.org/elfutils/Debuginfod.html">debuginfod</a> service for Debian. For more information about
|
|
it, please refer to <a href="https://wiki.debian.org/Debuginfod">https://wiki.debian.org/Debuginfod</a>.
|
|
</p>
|
|
|
|
<p>
|
|
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:
|
|
</p>
|
|
|
|
<div class="org-src-container">
|
|
<pre class="src src-shell">DEBUGINFOD_URLS="https://debuginfod.debian.net"
|
|
</pre>
|
|
</div>
|
|
|
|
<p>
|
|
Enjoy!
|
|
</p>
|
|
</div>
|
|
</body>
|
|
</html>
|