Re: [Texmacs-dev] address@hidden: Bug#154150: command line export]

[Joris van der Hoeven]

> I already offered to Joris to do it, but didn't do anything yet :-(
> However, I would perfer if you could contact the maintainer of file(1)
> sicne you belong to the core team.
> 
> > To learn TeXmacs to the file(1) command, just add the following to
> > your /etc/magic file.
> > 
> > # TeXmacs
> > 0   string  <TeXmacs|       TeXmacs document text
> 
> Works for me. Is "TeXmacs document text" really the right denomination?
> It recognizes as well TeXmacs style files. Maybe "TeXmacs document"
> or style" would be better?
> 
> > Similarly, the mime magic (as in /usr/share/misc magic.mime) is:
> > 
> > # TeXmacs
> > 0       string  <TeXmacs|       text/texmacs
> 
> On my system (debian), I also have a file /etc/magic, belonging to the
> gnome-libs-data package. It seems to be in the same format than
> mime.magic.
> 
> I can dig out the contact information if you don't have them. There is
> normally no need to contact the debian package maintainers, they should
> build new packages when there are new upstream sources.

Please tell me if I need to do something...