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 :-)