Php 迭代可能的文件扩展名以获得正确的扩展名
我有一个文件夹,里面有很多不同格式的文件,比如.jpg、.png、.pdf、.doc等等。。。这些文件位于远程服务器上。我有一个json文件,其中包含文件名列表及其位置,但缺少扩展名 我想重建json文件,并为文件名添加适当的扩展名。如何使用php实现这一点?有谁能告诉我如何通过可能的扩展进行迭代以在服务器上获得正确的filename+ext吗 我有一个像这样的url-。我知道服务器上的文件是pdf格式的,但是我如何通过编程为许多可能不同的文件重命名url 有什么想法吗?使用循环并执行对Php 迭代可能的文件扩展名以获得正确的扩展名,php,Php,我有一个文件夹,里面有很多不同格式的文件,比如.jpg、.png、.pdf、.doc等等。。。这些文件位于远程服务器上。我有一个json文件,其中包含文件名列表及其位置,但缺少扩展名 我想重建json文件,并为文件名添加适当的扩展名。如何使用php实现这一点?有谁能告诉我如何通过可能的扩展进行迭代以在服务器上获得正确的filename+ext吗 我有一个像这样的url-。我知道服务器上的文件是pdf格式的,但是我如何通过编程为许多可能不同的文件重命名url 有什么想法吗?使用循环并执行对$url
$url的GET请求$扩展名
,查看服务器是否返回文件
如果服务器返回文件,则可以中断for循环
您可以在每个循环中嵌套2个for循环,以实现到目前为止所有人都知道的URL
示例
$files = [
"http://test.com/test",
"http://test.com/test2"
];
$extensions = [
".jpg",
".docx"
];
foreach ($files as $file)
{
foreach ($extensions as $extension)
{
$foundFile = // Get requests here
if(FILE_IS_FOUND){
// Store file where ever you need it
break;
}
}
}
本例使用了一个这可能是一个很好的起点,您可能希望在远程服务器上为不同的文件名/扩展名排列触发一些HEAD请求。