For $url
being the placeholder for an URL.
curl
can retrieve headers for an url using
#> curl -sI -L $url.
wget
can do the same using:
#> wget --server-response --spider $url
fetch
is the third command line downloading tool that I am aware of.
Can it also get only headers?
wget
,curl
orfetch
.sed
)?