首页
学习
活动
专区
圈层
工具
发布
社区首页 >问答首页 >如何获取wget下载文件的文件名

如何获取wget下载文件的文件名
EN

Stack Overflow用户
提问于 2015-01-08 22:37:37
回答 1查看 1.6K关注 0票数 3

我使用下面的代码来使用wget下载一个文件,如果该文件在上次下载后发生了更改。

代码语言:javascript
复制
wget --directory-prefix="$DIR" --content-disposition --timestamping "$URL"

我希望wget对文件进行适当的命名( URL被传递到我的脚本中,所以我不知道它可能是什么),并且我想使用--timestamping,所以我不能使用--output-document。

如何确定使用的文件名?

我认为我可以在$DIR中搜索最新的文件,但如果该目录中有多个文件(可能有),并且该文件已经是使用时间戳确定的最新文件,那么这将不起作用。

EN

回答 1

Stack Overflow用户

发布于 2015-01-09 00:16:39

如果Content-Disposition的处理并不重要(因为我不确定curl是否能做到这一点),那么您可以使用curl来完成这项工作。

代码语言:javascript
复制
outfile=$DIR/foo
curl -z "$outfile" -o "$outfile" --remote-time "$URL"

但是要小心,不要使用curl可能会解析为日期的文件名( -z标志在这种情况下是愚蠢的)。

票数 0
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/27842622

复制
相关文章

相似问题

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