Я сжимаю файл согласно этому сайту :
$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.gz
с filename.db
.
Если я использую $gz_file_to_produce = substr($dest, 0, -3) . ".gz";
, я получаю filename.gz
файл. Но если я открою его, файл filename
не будет иметь расширения (отсутствует .db).
gzip всегда нужно расширение?