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