curl -Iみたいのがやりくてちょっとはまった。 $ wget -Sq --spider <url>でできるんだけど、これだとどうやら標準出力じゃなくて標準エラーに出力されるらしい。ので $ wget -Sq --spider <url> | grep "200 OK"とかがうまくいかない。ので標準出力にリダイレクトしな</url></url>…