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.