compressé avec quoi ? si c'est gzip, zgrep devrait faire ton affaire. idem pour bzip2 et bzgrep ou encore lzma et lzgrep
d'ailleurs, d'après la description de compress/uncompress, gzip est capable de le gérer, donc probablement zgrep.
Message édité par Mjules le 20-06-2008 à 20:51:42
---------------
Celui qui pose une question est idiot 5 minutes. Celui qui n'en pose pas le reste toute sa vie. | Membre du grand complot pharmaceutico-médico-scientifico-judéo-maçonnique.