Windows(Vista)命令行中获取远程Web服务器上文件大小和修改时间的最佳方式(或工具)是什么,而不下载它?
答案 0 :(得分:10)
有一个Win32 port of wget可以正常运作。
答案 1 :(得分:9)
在Linux上,我经常使用带有--head参数的curl。它适用于多种操作系统,包括Windows。
[编辑]与下面的答案相关,gknw.net目前截止到2012年2月23日。请检查curl.haxx.se以获取最新信息。
答案 2 :(得分:8)
如果您无法安装aditional应用程序,那么您可以telnet(您需要通过this远程服务器为您的Windows 7安装此功能):
TELNET server_name 80
接下来是:
HEAD /virtual/directory/file.ext
或
GET /virtual/directory/file.ext
取决于您是否只需要标题(HEAD)或完整内容(GET)
答案 3 :(得分:5)
1)查看从GET请求返回的标题
wget --server-response -O /dev/null http://....
1a)保存从GET请求返回的标头
wget --server-response -o headers -O /dev/null http://....
2)查看从GET HEAD请求返回的标题
wget --server-response --spider http://....
2a)保存从GET HEAD请求返回的标头
wget --server-response --spider -o headers http://....
答案 4 :(得分:1)