(菲律宾比索)解压缩并重命名 CSV 文件

Question

我想从一些出版商那里下载不同的提要。但可怜的是，它们首先被压缩为.gz，其次不是正确的格式。您可以下载其中一个提要并查看。他们没有任何文件规范...所以，我被迫自己添加.csv..

我现在的问题是，如何从不同的 url 解压缩这些文件？我知道我如何重命名它们。但是如何解压缩它们呢？

我已经搜索了它并找到了这个：

//This input should be from somewhere else, hard-coded in this example
$file_name = '2013-07-16.dump.gz';
// Raising this value may increase performance
$buffer_size = 4096; // read 4kb at a time
$out_file_name = str_replace('.gz', '', $file_name); 
// Open our files (in binary mode)
$file = gzopen($file_name, 'rb');
$out_file = fopen($out_file_name, 'wb'); 
// Keep repeating until the end of the input file
while (!gzeof($file)) {
    // Read buffer-size bytes
    // Both fwrite and gzread and binary-safe
    fwrite($out_file, gzread($file, $buffer_size));
}
// Files are done, close files
fclose($out_file);
gzclose($file);

但是有了这些提要，它不起作用...这里有两个示例文件：文件一 |文件二

你有想法吗？ - 将不胜感激！问候！

Answer 1

Windows 10 + php7.1.4 这是工作。

以下代码具有相同的效果。

ob_start();
readgzfile($file_name);
file_put_contents($output_filename', ob_get_contents());
ob_clean();

或者你可以尝试使用 gzip 命令解压缩，然后使用它。程序执行函数