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
. – Frames Catherine White Jan 16 '18 at 09:26sed
)? – B Layer Jan 16 '18 at 10:03fetch
with havenetcat
(sometimesnc
orncat
) installed? It's a fairly common tool and if it's there I can tell you how to do HEAD with that.fetch
is looking to be pretty limited. – B Layer Jan 18 '18 at 11:05