指示 WGET 仅在现有文件较旧的情况下下载相同的文件

发布于 2024-11-05 17:18:03 字数 1459 浏览 3 评论 0原文

如果你对这篇内容有疑问,欢迎到本站社区发帖提问 参与讨论,获取更多帮助,或者扫码二维码加入 Web 技术交流群。

扫码二维码加入Web技术交流群

发布评论

需要 登录 才能够评论, 你可以免费 注册 一个本站的账号。

评论(2

木森分化 2024-11-12 17:18:03

查看 wget 手册中的 时间戳 部分:

时间戳

最重要的方面之一
镜像信息来自
互联网正在更新您的档案。

再次下载整个存档
再次,只是为了替换一些
更改文件的成本很高,无论是
浪费带宽和金钱,
以及进行更新的时间。这是
为什么所有镜像工具都提供
增量更新选项。

这样的更新机制意味着
在搜索中扫描远程服务器
新文件。仅那些新文件
将被下载到该位置
旧的。

如果满足以下条件之一,文件将被视为新文件
满足这两个条件:

  1. 该名称的文件尚未存在
    存在于本地。

  2. 同名的文件
    确实存在,但远程文件是
    比本地修改得更新
    文件。

为了实现这一点,程序
需要知道上次的时间
本地和远程修改
文件。我们将此信息称为
文件的时间戳

GNU Wget 中的时间戳是
使用“--timestamping”打开
('-N') 选项,或通过时间戳
= on .wgetrc 中的指令。使用此选项,对于每个文件,它打算
下载后,Wget 将检查是否有
本地存在同名文件。如果
确实如此,但远程文件不是
较新的,Wget 将不会下载它。

如果本地文件不存在,或者
文件大小不匹配,
wget 将下载远程文件 no
不管时间戳怎么说。

Take a look at the timestamping section in the wget manual:

Time-Stamping

One of the most important aspects of
mirroring information from the
Internet is updating your archives.

Downloading the whole archive again
and again, just to replace a few
changed files is expensive, both in
terms of wasted bandwidth and money,
and the time to do the update. This is
why all the mirroring tools offer the
option of incremental updating.

Such an updating mechanism means that
the remote server is scanned in search
of new files. Only those new files
will be downloaded in the place of the
old ones.

A file is considered new if one of
these two conditions are met:

  1. A file of that name does not already
    exist locally.

  2. A file of that name
    does exist, but the remote file was
    modified more recently than the local
    file.

To implement this, the program
needs to be aware of the time of last
modification of both local and remote
files. We call this information the
time-stamp of a file.

The time-stamping in GNU Wget is
turned on using ‘--timestamping’
(‘-N’) option, or through timestamping
= on directive in .wgetrc. With this option, for each file it intends to
download, Wget will check whether a
local file of the same name exists. If
it does, and the remote file is not
newer, Wget will not download it.

If the local file does not exist, or
the sizes of the files do not match,
Wget will download the remote file no
matter what the time-stamps say.

甜味拾荒者 2024-11-12 17:18:03

wget -N http://server/path/to/file.txt

wget -N http://server/path/to/file.txt

~没有更多了~
我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
原文