[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: wget GET vs HEAD

From: Peng Yu
Subject: Re: wget GET vs HEAD
Date: Mon, 3 Feb 2020 09:49:48 -0600

> No. Wget does not perform this optimization. As mentioned by Tim, there
> are many valid usecases where one would want to actually download the
> body, but not store it.

> However, some servers do not
> follow this (*cough* Google *cough*). If it works fine for you, yes, you
> can simply use the `--spider` option to get only the headers.

That is what I found out. The response headers of GET and HEAD are not
always the same.

So, is it better to let wget support a new option so that the response
body will not be downloaded?


reply via email to

[Prev in Thread] Current Thread [Next in Thread]