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 all? Thanks. -- Regards, Peng
