Heh, this is incredibly simple… I just wanted to share it with y’all.
It simply uses cURL to print the headers of any page to stdout… and ignores the rest of the file.
curl -o void -D - http://google.com
Yeah, so, pretty tiny, but I found it really useful.
Edit: Ah shoot. I’m stupid. It was creating a file [font=monospace]void[/font] in the directory it was run within. Duh! I’m stupid.