Liste von Filename-Extensions und was man mit den zugehörigen Dateien machen kann:
Archive
- FILE.tar.gz Auspacken mit: gunzip -c FILE.tar.gz | tar -xvf -
- FILE.tar.Z Auspacken mit: zcat FILE.tar.Z | tar -xvf -
- FILE.tar Auspacken mit: tar -xvf FILE.tar
- FILE.zip Auspacken mit: unzip FILE.zip
Bilder/Filme
- FILE.rgb Anschauen z.B. mit: xv FILE.rgb
- FILE.mov Anschauen z.B. mit: movieplayer FILE.mov
- FILE.mv Anschauen z.B. mit: movieplayer FILE.mv
Dokumente
- FILE.ps Anschauen z.B. mit: gs FILE.ps oder ghostview FILE.ps
oder (nur auf SGIs) xpsview FILE.ps
- FILE.pdf Anschauen z.B. mit: acroread FILE.pdf
keine Extension, aber trotzdem von Interesse
- Makefile bzw. makefile "Ausführen" mit: make
Bei unbekannten Dateien kann das Kommando file evtl. weiterhelfen.
file FILE.unknown versucht das Format der Datei FILE.unknown
zu ermitteln.
Andreas Paul 7.5.1998