首页
学习
活动
专区
圈层
工具
发布
社区首页 >问答首页 >从wget下载时如何更改文件名?

从wget下载时如何更改文件名?
EN

Stack Overflow用户
提问于 2020-06-09 22:47:13
回答 1查看 31关注 0票数 0

我尝试下载文件,所以wget -P /var/www/html/wp-content/uploads/movies/2019/ https://example.com/video.mp4

下载后,此文件的名称将是video.mp4,我可以在下载时直接更改名称吗?要设置它,例如love.mp4

EN

回答 1

Stack Overflow用户

发布于 2020-06-09 22:53:57

尝试使用-O或--output-document=文件

示例:

代码语言:javascript
复制
wget -P /var/www/html/wp-content/uploads/movies/2019/ -O love.mp4 https://example.com/video.mp4
票数 2
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/62285329

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档