【发布时间】:2012-07-17 10:53:35
【问题描述】:
我想在我的服务器上压缩一个 .csv 文件并使用 PHP 将其放入 .gz (gzip) 文件中。
我使用 `file_put_contents() 如下:
$input = "test.csv";
$output = $input.".gz";
file_put_contents("compress.zlib://$output", file_get_contents($input));
但是,当我打开 gzip 文件(使用 winrar / 7zip)时,.gz 存档中缺少文件扩展名;只是“test”(没有文件扩展名)?
它没有按我的意愿显示“test.csv”。如何解决?
【问题讨论】:
-
不确定你在问什么。这是否意味着创建的文件只是称为“测试”?
-
它不是创建的文件,它是我压缩的文件,当我使用 winrar / 7z 打开 gzip 文件时,test.csv 没有扩展名,它只是“测试”而不是“ test.csv"
标签: php file compression gzip