Dateinamenserweiterung
Die Dateinamenserweiterung (auch: Dateiendung, Dateierweiterung, Dateisuffix; engl. filename extension) ist der letzte Teil eines Dateinamens und wird gewöhnlich mit einem Punkt abgetrennt (wobei der Punkt selbst nicht als Teil der Erweiterung angesehen wird). Die Dateinamenserweiterung wird oft eingesetzt, um das Dateiformat einer Datei erkennbar zu machen, ohne die Datei vorher einlesen zu müssen - beispielsweise ist die Datei "test.txt" so als einfache Textdatei erkennbar.
Manche Betriebssysteme und auch einige Einzelprogramme sind nicht in der Lage, das Format einer Datei ohne Dateinamenserweiterung zu erkennen. Unter einigen gängigen Betriebssystemen (besonders [[Microsoft Windows) werden Erweiterungen bestimmten Anwendungen zugeordnet (Dateizuordnungen). Wird eine Datei in einem Dateimanager aktiviert, so wird diese mit dem entsprechend zugeordneten Anwendungsprogramm geöffnet.
Andere Betriebssysteme, wie Unix, Mac OS oder Amiga OS besitzen zusätzliche Mechanismen zur Bestimmung eines Dateiformats bzw. Verwendungszwecks einer Datei und verwenden die Dateinamenserweiterung zum Teil für eine genauere Bestimmung des Formats oder andere Zwecke (zum Beispiel für die Versions- oder Plattformangabe bei Bibliotheken). Manchmal wird auch eine Verbindung aus beiden Ansätzen verwendet; beispielsweise verlässt sich die grafische Linux-Oberfläche KDE zunächst auf die Dateinamenserweiterung; fehlt diese oder ist sie im System unbekannt, so wird versucht, das Dateiformat anhand des Dateiinhalts zu erkennen.
So oder so lässt sich über die Dateinamenserweiterung nicht sicher bestimmen, ob eine Datei tatsächlich in dem angegebenen Dateiformat vorliegt. Dies geht nur, wenn man selbst bzw. das Betriebssystem die Datei öffnet und den Inhalt der Datei, beispielsweise die Informationen im Dateivorspann oder charakteristische Zeichenfolgen auswertet, jedoch besitzt nicht jede Datei einen Dateivorspann (beispielsweise haben einfache Textdateien mit der Erweiterung ".txt" keine besondere Kennzeichnungen, sondern der Inhalt beginnt direkt mit dem ersten Byte).
Insbesondere sollte beachtet werden, dass bei jeder Datei leicht der Dateiname mit der Dateinamenserweiterung des Dateiformats umbenannt werden kann (zum Beispiel "test.txt" in "test.zip"). Dies heisst aber nicht, dass auch das Dateiformat geändert wurde; beim Umbenennen ändert sich letztlich nur der Dateiname. Das ist auch der Angriffspunkt vieler Würmer, die beispielsweise ein ".lnk" an den Dateinamen einer JPEG-Datei anhängen. Bei Microsoft Windows ist standardardmässig aktiviert, dass ".lnk"-Erweiterungen im Dateinamen nicht angezeigt werden, sodass im E-Mail-Programm nur "dateinname.jpg" zu lesen ist. Der typische Windows-Benutzer wird so in die Irre geführt werden, da der eigentliche Name der Datei "dateinname.jpg.lnk" ist und es sich somit nicht um eine Bilddatei, sondern eine Verknüpfung handelt, die beim Aufruf unter Umständen Schaden anrichten kann. Die im Windows Explorer standardmässig aktivierte dumme Ausblendung bekannter Dateinamenerweiterungen sollte dehalb ausgeschaltet werden, damit für jede Datei auahc die Dateinamenserweiterung angezeigt wird.
Die vorteilhaftere Kennzeichnung des Dateiformats in separat gespeicherten Datei-Metadaten (eine Form von Out-of-band-Signalisierung; als Beispiel sei Mac OS genannt, das in einem speziellen Dateibereich - dem sogenannten Resource Fork - das Dateiformat und das Programm zum Öffnen speichert) hat mit der Dominanz der Microsoft-Betriebssysteme im weiten Gebrauch an praktischer Bedeutung verloren. Aber mit den Nachteilen sollen sich ruhig die Windows-Benutzer beschäftigen.
Im World Wide Web, wo die Dateien über das Hypertext Transfer Protocol übertragen werden, ist nicht die Dateiendung, sondern der mitgesendete MIME-Typ von Belang, der aber wiederum in der Regel aus der Dateinamenserweiterung ermittelt wird.
Bekannte Dateinamenserweiterungen
Es gibt kein Normierungsgremium für Dateinamenserweiterungen. Daher kommt es vor, dass ein und dieselbe Dateinamenserweiterung für verschiedene Dateiformate verwendet wird.
FAQ
Entfernung einer Dateinamenserweiterung
$ DATEI="826076.txt"
$ echo "${DATEI%.*}"
826076
Weblinks
| Herausgeber | Sprache | Webseitentitel | Anmerkungen |
|---|---|---|---|
 Wikipedia |
ger | Dateinamenserweiterungwbm | Enzyklopädischer Artikel |
| Wikipedia |
ger | Liste der Dateinamenserweiterungenwbm | Enzyklopädischer Artikel |