* SchmiTTT schrieb am 25.01.2012 um 19:59 (+0100): > Was ist *ix86.gz fuer ein Format und wie entpacke ich das > richtig ? gunzip ist klar, aber was macht man mit der Endung > *ix86 ? $ gunzip DATEI-ix86.gz $ file DATEI-ix86 Mathias