14 May
2014
14 May
'14
10:01 p.m.
On 14-05-14 12:07 PM, Thierry de Coulon wrote:
On Wednesday 14 May 2014 17.44:18 Lisi Reisz wrote:
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 :-)
On Monday 12 May 2014 07:09:37 Jan Stolarek
wrote:
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 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