Am 2013-09-19, Dirk Schleicher <dirk.schleicher@gmx.de> schrieb: > Aber gerade gesehen, das diese Dateien .gz sind > Muss also erst die Dateien irgendwie entpacken? Nein. zgrep existiert. Grusz, Peter Blancke -- Hoc est enim verbum meum!