Como descompactar um arquivo gzip com uma extensão personalizada?

0

Eu tenho um arquivo chamado file1.atz . Eu sei que é gzipped. A extensão de arquivo descomprimido deve ser .ats . Eu li as man pages e só quero verificar se estou descomprimindo isso corretamente, porque o programa que deveria ler este arquivo não é capaz de (o que poderia ser por outras razões, estou apenas tentando isolar o problema ). Então, se eu fizer isso:

gzip -S atz file1.atz

Sou então deixado com um arquivo chamado file1. (observe o . ). Eu descompactei isso corretamente? Então eu apenas renomeio manualmente com um mv file1. file1.ats para conseguir o que eu quero?

    
por boltup_im_coding 07.02.2013 / 04:23

2 respostas

4

Sim, mas mais fácil seria descompactá-lo para o stdout e, em seguida, redirecioná-lo.

gunzip -c -S atz file1.atz > file1.ats
    
por 07.02.2013 / 04:47
3

Você pode evitar problemas com os sufixos de nome de arquivo usando gzip como filtro:

 $ gzip -dc < file1.atz > file1.ats
    
por 07.02.2013 / 06:50

Tags