我想知道是否有办法提前检查我可能通过wget
下载的文件的大小?我知道使用--spider
选项可以告诉我文件是否存在,但我也有兴趣查找该文件的大小。在wget-ing之前将文件的文件大小获取到wget?
回答
嗯..我--spider
确实显示尺寸:
$ wget --spider http://henning.makholm.net/
Spider mode enabled. Check if remote file exists.
--2011-08-08 19:39:48-- http://henning.makholm.net/
Resolving henning.makholm.net (henning.makholm.net)... 85.81.19.235
Connecting to henning.makholm.net (henning.makholm.net)|85.81.19.235|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 9535 (9.3K) [text/html] <-------------------------
Remote file exists and could contain further links,
but recursion is disabled -- not retrieving.
$
(但请注意,并非所有的Web服务器将通知数据长度的客户,除了通过关闭连接时,这一切都被发送。 )
如果您担心wget更改格式,它会报告长度,您可以使用wget --spider --server-response
并在输出中查找Content-Length
标头。
curl --head URL
在输出中查找“Content-Length:”。
并且由于恩宁Makholm的评论:
wget --spider URL
,并查找 “长:” 在输出中。
虽然用'wget'来做会更令人愉快( - : – tripleee
'wget -S'('wget --server-response')会显示相同的标题信息,但它会继续下载文件,所以这对于这个问题没有用处,我没有看到wget显示头文件的选项,例如''tries = 0''意味着无限次重试 –
由于某种原因,'wget'选项要做只有HEAD拼写为'--spider'。 –
- 1. 在通过HTTP下载文件之前获取文件大小
- 2. 在android中下载文件之前获取文件大小
- 3. 如何在将文件写入服务器之前获取文件大小?
- 4. 如何在将文件保存到新文件之前从调整大小的文件中获取md5?
- 5. wget分析文件大小
- 6. Android:在分享之前获取图像的文件大小(Intent.ACTION_SEND)
- 7. 在写入数据之前获取BufferedImage的文件大小
- 8. Python ftplib在下载之前无法获取文件的大小?
- 9. 在c程序中获取wget文件大小
- 10. Ajax - 下载前获取文件大小
- 11. 如何在下载之前获取文件大小
- 12. 在解析之前获取URL文件大小
- 13. 使用Extjs在上传之前获取文件大小'change function'
- 14. 如何在上传文件之前使用ajaxSubmit获取文件大小
- 15. 获取文件的文件大小
- 16. Jquery-fileupload在调整大小之前获取原始文件大小
- 17. 在sp_send_dbmail之前检测文件大小
- 18. 从网络下载图像文件之前获取图像文件的大小
- 19. 如何从NSURL获取AVPlayer的文件大小和当前文件大小iOS4.0
- 20. Java文本文件大小(在文件关闭之前)
- 21. 获取文件大小,文件
- 22. PHP:从资源获取图像文件大小(上传之前)?
- 23. 使用python请求下载之前获取mp4文件大小
- 24. 如何在上传文件之前检索文件的大小?
- 25. 获取文件夹大小
- 26. 获取txt文件大小
- 27. 获取文件大小ExtJS
- 28. 获取文件大小笨
- 29. 获取文件大小
- 30. SetFilePointerEx获取文件大小
只是为了完整性,这里只是提取大小:'wget http://example.com --spider --server-response -O - 2>&1 | sed -ne'/Content-Length/{s/.*: //; p}'' – Sorpigal
对于FTP,请在输出中查找:' - > SIZE filename.ext 213 ###### ##' –