Please do not reply directly to this email. All additional comments should be made in the comments box of this bug.
Summary: Package mime-type information for Coq files
https://bugzilla.redhat.com/show_bug.cgi?id=530254
Summary: Package mime-type information for Coq files Product: Fedora Version: 11 Platform: All OS/Version: Linux Status: NEW Severity: low Priority: low Component: coq AssignedTo: amdunn@gmail.com ReportedBy: matt@mattmccutchen.net QAContact: extras-qa@fedoraproject.org CC: amdunn@gmail.com, fedora-ocaml-list@redhat.com Classification: Fedora
Created an attachment (id=365637) --> (https://bugzilla.redhat.com/attachment.cgi?id=365637) 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
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug.
https://bugzilla.redhat.com/show_bug.cgi?id=530254
Richard W.M. Jones rjones@redhat.com changed:
What |Removed |Added ---------------------------------------------------------------------------- CC| |rjones@redhat.com
--- Comment #1 from Richard W.M. Jones rjones@redhat.com 2009-10-22 04:03:21 EDT --- I have no idea what this involves though. Should the bug be assigned to another package in Fedora or to some upstream project?
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug.
https://bugzilla.redhat.com/show_bug.cgi?id=530254
--- Comment #2 from Matt McCutchen matt@mattmccutchen.net 2009-10-22 10:31:36 EDT --- 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.
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug.
https://bugzilla.redhat.com/show_bug.cgi?id=530254
--- Comment #3 from Bug Zapper fedora-triage-list@redhat.com 2010-04-28 06:54:58 EDT ---
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
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug.
https://bugzilla.redhat.com/show_bug.cgi?id=530254
Richard W.M. Jones rjones@redhat.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Version|11 |rawhide
--- Comment #4 from Richard W.M. Jones rjones@redhat.com 2010-04-28 08:35:58 EDT --- Bump to Rawhide.
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug.
https://bugzilla.redhat.com/show_bug.cgi?id=530254
Fedora Update System updates@fedoraproject.org changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |MODIFIED
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug.
https://bugzilla.redhat.com/show_bug.cgi?id=530254
--- Comment #6 from Fedora Update System updates@fedoraproject.org 2011-04-01 17:13:06 EDT --- coq-8.3pl1-1.fc15 has been submitted as an update for Fedora 15. https://admin.fedoraproject.org/updates/coq-8.3pl1-1.fc15
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug.
https://bugzilla.redhat.com/show_bug.cgi?id=530254
--- Comment #7 from Matt McCutchen matt@mattmccutchen.net 2011-04-01 17:19:46 EDT --- Mmm... the MIME type name should describe the content, not the application used to open it. And Coq vernacular is not XML.
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug.
https://bugzilla.redhat.com/show_bug.cgi?id=530254
Fedora Update System updates@fedoraproject.org changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|MODIFIED |ON_QA
--- Comment #8 from Fedora Update System updates@fedoraproject.org 2011-04-01 22:47:16 EDT --- 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).
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug.
https://bugzilla.redhat.com/show_bug.cgi?id=530254
Jerry James loganjerry@gmail.com changed:
What |Removed |Added ---------------------------------------------------------------------------- CC| |loganjerry@gmail.com
--- Comment #9 from Jerry James loganjerry@gmail.com 2011-04-04 11:57:12 EDT --- (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?
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug.
https://bugzilla.redhat.com/show_bug.cgi?id=530254
--- Comment #10 from Matt McCutchen matt@mattmccutchen.net 2011-04-04 13:20:30 EDT --- (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.
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug.
https://bugzilla.redhat.com/show_bug.cgi?id=530254
--- Comment #11 from Jerry James loganjerry@gmail.com 2011-04-04 13:37:40 EDT --- 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.
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug.
https://bugzilla.redhat.com/show_bug.cgi?id=530254
--- Comment #12 from Fedora Update System updates@fedoraproject.org 2011-04-04 16:54:40 EDT --- coq-8.3pl1-2.fc15 has been submitted as an update for Fedora 15. https://admin.fedoraproject.org/updates/coq-8.3pl1-2.fc15
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug.
https://bugzilla.redhat.com/show_bug.cgi?id=530254
--- Comment #13 from Fedora Update System updates@fedoraproject.org 2011-04-15 17:47:49 EDT --- 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.
Please do not reply directly to this email. All additional comments should be made in the comments box of this bug.
https://bugzilla.redhat.com/show_bug.cgi?id=530254
Fedora Update System updates@fedoraproject.org changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|ON_QA |CLOSED Fixed In Version| |coq-8.3pl1-2.fc15 Resolution| |ERRATA Last Closed| |2011-04-15 17:48:05
ocaml-devel@lists.fedoraproject.org