gzipには常に拡張子が必要ですか？

Question

私はthis siteに応じてファイルを圧縮しています：

$file_to_compress = $dest; 
//$gz_file_to_produce = $dest . ".gz"; 
$gz_file_to_produce = substr($dest, 0, -3) . ".gz"; 

$data = implode("", file($file_to_compress)); 
$gzdata = gzencode($data, 9); 
$fp = fopen($gz_file_to_produce, "w"); 
fwrite($fp, $gzdata); 
fclose($fp); 

私は$gz_file_to_produce = $dest . ".gz";を使用する場合、私はそれでfilename.dbでfilename.db.gzファイルを取得します。

$gz_file_to_produce = substr($dest, 0, -3) . ".gz";を使用すると、filename.gzというファイルが表示されます。しかし、私がそれを開いた場合、ファイルfilenameには拡張子がありません（.dbがありません）。

gzipには常に拡張子が必要ですか？

Answer 1

はい、エンコーダがFNAMEヘッダーを書き出していない場合は、gzencode()には該当しません。

FNAMEヘッダが存在しない場合この場合には裸filename、その結果、先のファイルに名前を付けるために、デフォルトのsubtracsによって、ソースファイルから.gz拡張子をアンパックアプリケーションをアンパック。