Sim, o que você fez foi uma das formas corretas. Para descompactar um arquivo .gz , use gunzip ou gzip -d .
Se o seu arquivo compactado com gzip for file.bin.gz , você poderá descompactá-lo com:
gunzip file.bin.gz
Isso o descompacta para file.bin . Se a operação for bem-sucedida, o file.bin.gz original será removido automaticamente. Isso quer dizer que o arquivo gzip é substituído pelo arquivo descompactado.
Se você quiser manter o original, passe o sinal -k / --keep :
gunzip -k file.bin.gz
gzip se comporta como gunzip quando é chamado com o sinalizador -d / --decompress / --uncompress . Então, isso funciona também:
gzip -d file.bin.gz
Assim como com gunzip , o comportamento padrão de gzip -d é substituir seu arquivo de entrada quando ele for bem-sucedido. Você pode passar -d e -k se quiser manter o arquivo de entrada.
(Tudo isso se aplica independentemente do tipo de arquivo que você deseja descompactar; nada disso é específico para o arquivo com .bin em seu nome - isso é apenas parte do exemplo que usei, para melhor corresponder sua situação.)
Você pode executar man gunzip para obter mais informações ou gunzip --help para um resumo das opções.
Quanto ao que o .bin no nome do arquivo pode significar, você supôs corretamente que um arquivo chamado .bin é geralmente um arquivo binário. No entanto, existem vários tipos diferentes de arquivos que às vezes são nomeados dessa forma e, além disso, a grande maioria dos arquivos binários não possui .bin em seus nomes.
Para obter mais informações sobre o que é file.bin , execute file sobre isso:
file file.bin
(Isso não é específico para file.bin com file em seu nome. Em geral, para um arquivo abc , você pode aprender sobre o tipo de arquivo que parece estar executando file abc .)
(Isto também não é específico para a parte .bin do nome do arquivo que tem Any Meaning At All)