From GNOME BugZilla, bug 166671 [1]: Distribution/Version: Gentoo I got a Docbook XML file on the subject of makefiles, called makefile-autotools.dbk. I found out (by trying to open it with Yelp) GnomeVFS seems to determine the MIME type of the file wrongly ("file" works fine). The file is tagged as text/x-makefile. If I rename it to makefile-autotools.xml, it is tagged as text/xml, which is correct. Also if I rename it to writing-makefiles-autotools.dbk, GnomeVFS figures out its a text/xml file. I suspect (just suspect, didnt check) GnomeVFS tags all files starting with "makefile" or something as text/x-make? The file that was tagged wrongly is here: http://code.eikke.com/index.php?dir=misc/&file=makefile-autotools.dbk [1] http://bugzilla.gnome.org/show_bug.cgi?id=166671
Created attachment 4086 [details] [review] Remove a bad glob for makefile mime type
I think having the glob "makefile*" to match Makefile is permissive and causes many files which are not Makefiles to be displayed as Makefiles. I'm not sure removing the glob is the correct thing to do because it must have been put there for some reason. But its been 10 months since the bug was filed and what are the odds that someone will complain if the glob is removed ...
Thanks, I've removed that glob.
Use of freedesktop.org services, including Bugzilla, is subject to our Code of Conduct. How we collect and use information is described in our Privacy Policy.