wgetのオプション
監視ツールで重宝。
今後もいろいろ使えそう。
今回使ったのは、
--spider --no-dns-cache http://URL
上記を使えば、
希望のURLに対して、元となるサーバがDNSで変更されても、
毎回ルックアップしてくれる。
ちなみに、各オプションの詳細は下記に記載。
--spider :何もダウンロードしない
--no-dns-cache :DNS の問い合わせ結果をキャッシュしない
監視ツールで重宝。
今後もいろいろ使えそう。
今回使ったのは、
--spider --no-dns-cache http://URL
上記を使えば、
希望のURLに対して、元となるサーバがDNSで変更されても、
毎回ルックアップしてくれる。
ちなみに、各オプションの詳細は下記に記載。
--spider :何もダウンロードしない
--no-dns-cache :DNS の問い合わせ結果をキャッシュしない