Re: wget GET vs HEAD

2020-02-03 Thread Peng Yu
> 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

Re: wget GET vs HEAD

2020-02-03 Thread Darshit Shah
On 03/02/2020 16:08, Peng Yu wrote: Hi, I'd like to understand the following two commands. One uses GET, the other uses HEAD. wget -q -O /dev/null -S -o- URL wget -q --spider -S -o- URL Is there first still download response body? Does wget know that its /dev/null so that it just download

Re: wget GET vs HEAD

2020-02-03 Thread Tim Rühsen
On 2/3/20 4:08 PM, Peng Yu wrote: > Hi, > > I'd like to understand the following two commands. One uses GET, the > other uses HEAD. > > wget -q -O /dev/null -S -o- URL > wget -q --spider -S -o- URL > > Is there first still download response body? Does wget know that its > /dev/null so that it

wget GET vs HEAD

2020-02-03 Thread Peng Yu
Hi, I'd like to understand the following two commands. One uses GET, the other uses HEAD. wget -q -O /dev/null -S -o- URL wget -q --spider -S -o- URL Is there first still download response body? Does wget know that its /dev/null so that it just download the header and ignore the response body?

[no subject]

2020-02-03 Thread Peng Yu
Hi, I'd like to understand the following two commands. One uses GET, the other uses HEAD. wget -q -O /dev/null -S -o- URL wget -q --spider -S -o- URL Is there first still download response body? Does wget know that its /dev/null so that it just download the header and ignore the response body?