【发布时间】:2018-07-29 08:10:21
【问题描述】:
我的服务器上有这样的文件:
aaaa.flv
aaaa.mp4
bbbb.flv
bbbb.mp4
cccc.flv
dddd.flv
dddd.mp4
此代码不起作用:
$dir=$_SERVER{'DOCUMENT_ROOT'}."/test/";
foreach(glob($dir . "*.flv") as $file)
{
$strip_ext=substr($file, 0, strrpos($file, "."));
$mp4_ext=$strip_ext.".mp4";
if (!file_exists($dir . $mp4_ext)) {
echo "Non-matching pair! ".$strip_ext."<BR>";
}
}
如何找到我的.flv 文件没有匹配的.mp4?
我宁愿在目录中放置一个脚本并运行它,让它吐出所有不匹配 .mp4 的文件名,这会告诉我需要转换的文件。
【问题讨论】:
-
这些不是上传的文件。它们已经上传到服务器。
-
使用
glob和array_reduce -
“我会尝试使用 glob,但有成千上万个 unqiue 文件名” - 那么?您仍然需要以某种方式获取文件。
-
你可以写一个简单的shell脚本或php脚本。如果你找到了,那又怎样?
标签: php comparison filenames glob file-conversion