Bug 530254
Summary: | Package mime-type information for Coq files | ||||||
---|---|---|---|---|---|---|---|
Product: | [Fedora] Fedora | Reporter: | Matt McCutchen <matt> | ||||
Component: | coq | Assignee: | Alan Dunn <amdunn> | ||||
Status: | CLOSED ERRATA | QA Contact: | Fedora Extras Quality Assurance <extras-qa> | ||||
Severity: | low | Docs Contact: | |||||
Priority: | low | ||||||
Version: | 14 | CC: | amdunn, fedora-ocaml-list, loganjerry, rjones | ||||
Target Milestone: | --- | ||||||
Target Release: | --- | ||||||
Hardware: | All | ||||||
OS: | Linux | ||||||
Whiteboard: | |||||||
Fixed In Version: | coq-8.3pl1-2.fc15 | Doc Type: | Bug Fix | ||||
Doc Text: | Story Points: | --- | |||||
Clone Of: | Environment: | ||||||
Last Closed: | 2011-04-15 21:48:05 UTC | Type: | --- | ||||
Regression: | --- | Mount Type: | --- | ||||
Documentation: | --- | CRM: | |||||
Verified Versions: | Category: | --- | |||||
oVirt Team: | --- | RHEL 7.3 requirements from Atomic Host: | |||||
Cloudforms Team: | --- | Target Upstream Version: | |||||
Embargoed: | |||||||
Attachments: |
|
I have no idea what this involves though. Should the bug be assigned to another package in Fedora or to some upstream project? The mime types could be in either the Coq package or the main "freedesktop.org.xml" catalog in the shared-mime-info package. I was leaning toward putting them in the Coq package since they seem so specialized. Under that assumption, since the upstream Coq project doesn't provide any desktop integration, I thought it would be appropriate to add the mime types in Fedora. If the mime types are to go in "freedesktop.org.xml", that just requires entering a freedesktop bug. This message is a reminder that Fedora 11 is nearing its end of life. Approximately 30 (thirty) days from now Fedora will stop maintaining and issuing updates for Fedora 11. It is Fedora's policy to close all bug reports from releases that are no longer maintained. At that time this bug will be closed as WONTFIX if it remains open with a Fedora 'version' of '11'. Package Maintainer: If you wish for this bug to remain open because you plan to fix it in a currently maintained version, simply change the 'version' to a later Fedora version prior to Fedora 11's end of life. Bug Reporter: Thank you for reporting this issue and we are sorry that we may not be able to fix it before Fedora 11 is end of life. If you would still like to see this bug fixed and are able to reproduce it against a later version of Fedora please change the 'version' of this bug to the applicable version. If you are unable to change the version, please add a comment here and someone will do it for you. Although we aim to fix as many bugs as possible during every release's lifetime, sometimes those efforts are overtaken by events. Often a more recent Fedora release includes newer upstream software that fixes bugs or makes them obsolete. The process we are following is described here: http://fedoraproject.org/wiki/BugZappers/HouseKeeping Bump to Rawhide. This bug appears to have been reported against 'rawhide' during the Fedora 14 development cycle. Changing version to '14'. More information and reason for this action is here: http://fedoraproject.org/wiki/BugZappers/HouseKeeping coq-8.3pl1-1.fc15 has been submitted as an update for Fedora 15. https://admin.fedoraproject.org/updates/coq-8.3pl1-1.fc15 Mmm... the MIME type name should describe the content, not the application used to open it. And Coq vernacular is not XML. Package coq-8.3pl1-1.fc15: * should fix your issue, * was pushed to the Fedora 15 testing repository, * should be available at your local mirror within two days. Update it with: # su -c 'yum update --enablerepo=updates-testing coq-8.3pl1-1.fc15' as soon as you are able to. Please go to the following url: https://admin.fedoraproject.org/updates/coq-8.3pl1-1.fc15 then log in and leave karma (feedback). (In reply to comment #7) > Mmm... the MIME type name should describe the content, not the application used > to open it. Good point. So a "coqide" -> "coq" change will fix that. > And Coq vernacular is not XML. It isn't, but I don't understand why you would say so. Did I do something that indicated otherwise? (In reply to comment #9) > > And Coq vernacular is not XML. > > It isn't, but I don't understand why you would say so. Did I do something that > indicated otherwise? You have <sub-class-of type="application/xml"/> . OTOH, <sub-class-of type="text/plain"/> would be correct and will cause text editors to show up in the list of applications capable of opening the file. Whoops! That's the trouble with learning by example. I forgot to change that line from the example I copied. <*blush*> Okay, I'll fix those two things and we can try this again. Thanks for spotting the bugs, Matt. coq-8.3pl1-2.fc15 has been submitted as an update for Fedora 15. https://admin.fedoraproject.org/updates/coq-8.3pl1-2.fc15 coq-8.3pl1-2.fc15 has been pushed to the Fedora 15 stable repository. If problems still persist, please make note of it in this bug report. |
Created attachment 365637 [details] Draft mime-type information Description of problem: It might be nice to package some mime-type information for Coq files as a step toward making them xdg-openable in coqide or Proof General. Version-Release number of selected component (if applicable): coq-8.2-1.fc11.x86_64