Wget自定义文件名
Wget自定义文件名
提问于 2016-01-22 21:23:57
我在php中使用wget，我想给我收到的响应文件一个自定义的名字。这是我的wget代码。
<?php
exec('wget --header= --user-agent="Mozilla/5.0 (Windows NT 6.1; WOW64; rv:40.0) Gecko/20100101 Firefox/40.1" --save-cookies 6.txt --keep-session-cookies --post-data="email=myemail@gmail.com&password=pass" http://example.com/login.php 2>&1', $output);
print_r($output); ?>当我发送wget请求时，我将收到一个名为welcome.php的文件，我想将此文件重命名为example.php，我们如何在wget中做到这一点？谢谢
回答 1
Stack Overflow用户
发布于 2016-01-22 22:02:20
我找到了这样做的方法。--output-document=example.php将执行此操作。
<?php
exec('wget --header= --user-agent="Mozilla/5.0 (Windows NT 6.1; WOW64; rv:40.0) Gecko/20100101 Firefox/40.1" --save-cookies 6.txt --keep-session-cookies --post-data="email=myemail@gmail.com&password=pass" --output-document=example.php http://example.com/login.php 2>&1', $output);
print_r($output); ?>页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/34947766
复制相关文章
相似问题
腾讯云开发者
