Re: [Bug-wget] Does `wget -q -O /dev/null -S -o- url` ignore response body?

2019-08-12 Thread Darshit Shah
That is precisely what the `--spider` option does. It sends a HEAD request. Just like the similarly named option in Curl. If you want it to be more explicit, you can use `--method=HEAD` instead. It will still do the same thing though. * Peng Yu [190812 20:56]: > curl has the --head option. Is

Re: [Bug-wget] Does `wget -q -O /dev/null -S -o- url` ignore response body?

2019-08-12 Thread Peng Yu
curl has the --head option. Is there a reason why wget doesn't have it? -I, --head (HTTP FTP FILE) Fetch the headers only! HTTP-servers feature the command HEAD which this uses to get nothing but the header of a document. When used on an FTP or FILE file,

Re: [Bug-wget] Does `wget -q -O /dev/null -S -o- url` ignore response body?

2019-08-09 Thread Tim Rühsen
On 09.08.19 18:06, Peng Yu wrote: > Hi, > > I just want to retrieve the response header instead of the response body. > > Does `wget -q -O /dev/null -S -o- url` still download the response > body, but then dump it to /dev/null? Or wget is smart enough to know > the destination is /dev/null so

[Bug-wget] Does `wget -q -O /dev/null -S -o- url` ignore response body?

2019-08-09 Thread Peng Yu
Hi, I just want to retrieve the response header instead of the response body. Does `wget -q -O /dev/null -S -o- url` still download the response body, but then dump it to /dev/null? Or wget is smart enough to know the destination is /dev/null so that it will not download the response body at