In Linux / Unix gibt es den file
Befehl. Es wird auf die Daten eingesehen und dann erraten, um welche Art von Datei es sich handelt. Bei einer begrenzten Anzahl unterschiedlicher Dateien können Sie ein Wrapper-Skript schreiben, das die Erweiterung an den Inhalt der Datei anhängt. Schnelles Beispiel, um die Idee näher kennen zu lernen:
#!/bin/bash filename=$1 filedata=`file $filename` if [[ $filedata =~ /gzip/ ]]; mv $filename $.gz exit fi if [[ $filedata =~ /PDF document/ ]]; mv $filename $.pdf exit fi