Re: Gnome getting confused with mime types

[Olivier Ramare <ramare@math.univ-lille1.fr>]

Josselin Mouette a écrit :
> Le mardi 18 novembre 2008 à 19:41 +0100, Olivier Ramare a écrit :
>   
> > Josselin Mouette a écrit :
> >
> > [...]
> >     
> > > We should probably set something like:
> > >
> > >     <magic priority="50">
> > >       <match value="\documentclass" type="string" offset="0:100"/>
> > >     </magic>
> > >     <magic priority="50">
> > >       <match value="\chapter" type="string" offset="0:100"/>
> > >     </magic>
> > >     <magic priority="50">
> > >       <match value="\section" type="string" offset="0:100"/>
> > >     </magic>
> > >
> > > Does it work for you?
> > >       
> > Oups, and where should I put that ???
> > (Can't find any file containing the string "magic priority")
> >     
> /usr/share/mime/packages/freedesktop.org.xml
>
> after which, re-run "update-mime-database /usr/share/mime" to enable the
> changes.
>
> Cheers,
>   
Wonder of wonders, it works :-)
[By the way, but that's off topic, beagle should have found this file]
Best !
Amitiés,
              Olivier