[Bug translator/13896] New: use darkserver for downloading debuginfo

[fche at redhat dot com]

http://sourceware.org/bugzilla/show_bug.cgi?id=13896

             Bug #: 13896
           Summary: use darkserver for downloading debuginfo
           Product: systemtap
           Version: unspecified
            Status: NEW
          Severity: normal
          Priority: P2
         Component: translator
        AssignedTo: systemtap@sourceware.org
        ReportedBy: fche@redhat.com
    Classification: Unclassified


Akin to the existing --download-debuginfo for bug#12773, we could an option to
use directly the new darkserver.fedoraproject.org JSON/REST web service to map
build-ids to RPM names, and thence to downloadable RPMs, and thence to a
personal debuginfo cache.

-- 
Configure bugmail: http://sourceware.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.