[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?
--
Regards,
Peng