Linux bestimmt den Typ einer Datei über einen Code im Datei-Header. Es hängt nicht von den Dateierweiterungen ab, welche Software zum Öffnen der Datei verwendet wird. Daran erinnere ich mich aus meiner Ausbildung. Bitte korrigieren Sie mich, falls ich falsch liege! Arbeiten ein wenig mit Ubuntu -...