Ach so. Ja, das war mal so ein 5-Minuten-Script - aus der Zeit, bevor es die LiveHTTPHeader-Extension gab ;-)
Dafür gibt es doch curl -I <url> bzw. curl --dump - <url>
Ach so. Ja, das war mal so ein 5-Minuten-Script - aus der Zeit, bevor es die LiveHTTPHeader-Extension gab ;-)
Dafür gibt es doch curl -I <url> bzw. curl --dump - <url>