I'm working in Kile on a LaTeX file with *.mng extensions. Due to the strange file extension Kile does not recognize it as source LaTeX file and almost all editing capabilities provided by Kile are gone. For example it does not recognize document structure and the autocompletion of references and citations is gone. How can I make Kile aware that this is in fact a LaTeX file?
Janek
On Monday 12 May 2014 07:09:37 Jan Stolarek wrote:
Due to the strange file extension Kile does not recognize it as source LaTeX file
I thought that Linux ignored extensions and went solely by the form of a file; i.e. extensions don't matter in Linux.
Lisi
Le 14/05/2014 17:44, Lisi Reisz a écrit :
On Monday 12 May 2014 07:09:37 Jan Stolarek wrote:
Due to the strange file extension Kile does not recognize it as source LaTeX file
I thought that Linux ignored extensions and went solely by the form of a file; i.e. extensions don't matter in Linux.
Lisi
To unsubscribe, e-mail: trinity-users-unsubscribe@lists.pearsoncomputing.net For additional commands, e-mail: trinity-users-help@lists.pearsoncomputing.net Read list messages on the web archive: http://trinity-users.pearsoncomputing.net/ Please remember not to top-post: http://trinity.pearsoncomputing.net/mailing_lists/#top-posting
Yes, most of the times, but there are some exceptions, that is : some extensions checked by few (bad) programs. Not the fault of the desktops, but the application.
On Wednesday 14 May 2014 17.44:18 Lisi Reisz wrote:
On Monday 12 May 2014 07:09:37 Jan Stolarek wrote:
Due to the strange file extension Kile does not recognize it as source LaTeX file
I thought that Linux ignored extensions and went solely by the form of a file; i.e. extensions don't matter in Linux.
Lisi
Seems it's at least more complicated. I did some trial on an ogg file. My provisory conclusion is:
- as long as the extension is NOT known to the system, teh file seems to be identified correctly
- if the extension is known (e.g. rename *.ogg in *.png), some programs read it correctly (Audacious, vlc), others don't (Decibel).
So i'd say it depends on the program. But the OP did not say why he did not rename the file...
Thierry
On 14-05-14 12:07 PM, Thierry de Coulon wrote:
On Wednesday 14 May 2014 17.44:18 Lisi Reisz wrote:
On Monday 12 May 2014 07:09:37 Jan Stolarek wrote:
Due to the strange file extension Kile does not recognize it as source LaTeX file
I thought that Linux ignored extensions and went solely by the form of a file; i.e. extensions don't matter in Linux.
Lisi
Seems it's at least more complicated. I did some trial on an ogg file. My provisory conclusion is:
- as long as the extension is NOT known to the system, teh file seems to be
identified correctly
- if the extension is known (e.g. rename *.ogg in *.png), some programs read
it correctly (Audacious, vlc), others don't (Decibel).
So i'd say it depends on the program. But the OP did not say why he did not rename the file...
Thierry
I can add to this the fact that Linux offers the "magic" database which contains the numeric signature of all kinds of files. This is what the Linux command "file" uses to return the type of a file. Linux (and *nix in general) offers libmagic, a system library applications can link with to detect the type of a file instead of relying on a file extension. A well designed Linux application uses libmagic but almost none of the multi-platform programs use it not counting developers who do not even know the existence of this Linux built-in facility... This explains that :-)
But the OP did not say why he did not rename the file...
I did not rename the file because I'm using a pre-processing tool (OTT, to be precise) to generates a *.tex file from my *.mng file. If I renamed my file to *.mng I would have name clash with the automatically generated file.
Janek
-
Dsant -
Jan Stolarek -
Lisi Reisz -
midi-pascal -
Thierry de Coulon