MantisBT - Site
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0003610Site[All Projects] Bugpublic2019-02-07 16:562019-02-10 07:22
ReporterWubTheCaptain 
Assigned ToBlzut3 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Summary0003610: debian.drdteam.org repository signing key is ASCII-armored, but uses .gpg file extension
DescriptionDRD Team Debian Package Repository. It's signing key is in filename drdteam.gpg. But it's actually ASCII-armored, so its filename should technically be drdteam.asc.

I expected .gpg extension to be reserved for binary OpenPGP key formats.
Steps To Reproduce
$ wget -qO -'http://debian.drdteam.org/drdteam.gpg [^]' | grep -- "-----BEGIN PGP PUBLIC KEY BLOCK-----"

-----BEGIN PGP PUBLIC KEY BLOCK-----
Additional InformationThe instructions "to use" on the index page need to be updated to point to the new filename, if/once this is resolved.
TagsNo tags attached.
Relationships
Attached Files
Issue History
Date ModifiedUsernameFieldChange
2019-02-07 16:56WubTheCaptainNew Issue
2019-02-07 16:57WubTheCaptainNote Added: 0020349
2019-02-07 17:11WubTheCaptainNote Added: 0020351
2019-02-07 17:12WubTheCaptainNote Edited: 0020351bug_revision_view_page.php?bugnote_id=20351#r12411
2019-02-10 07:22Blzut3Note Added: 0020356
2019-02-10 07:22Blzut3Statusnew => resolved
2019-02-10 07:22Blzut3Resolutionopen => fixed
2019-02-10 07:22Blzut3Assigned To => Blzut3

Notes
(0020349)
WubTheCaptain   
2019-02-07 16:57   
I forgot to set the severity, again. "Trivial".
(0020351)
WubTheCaptain   
2019-02-07 17:11   
(edited on: 2019-02-07 17:12)
If drdteam.gpg is moved to drdteam.asc, I'd also expect a HTTP 301 Moved Permanently or something to be served from the original location to the new location.
(0020356)
Blzut3   
2019-02-10 07:22   
Renamed the existing file and uploaded a binary version to the original location because why not.