ITmedia Biz.ID：コマンドライン未経験者のための「Wgetの使い方」
超強力で柔軟なカスタマイズが可能な無償ツール「Wget」。しかしコマンドラインツールであるということが、利用するにあたって最初の大きなハードルだ。バッチファイルを使って、コマンドラインツールを簡単に利用する方法を解説する。 今回のLifehackerで取り上げている「Wget」（10月24日の記事参照）。これは、いわゆるダウンロード支援ツール、ホームページ自動巡回ツールだ。一般的なダウンロードツールと違うのは、コマンドラインツールであること。そしてさまざまなオプションがあり、詳細な設定が可能なことだ。 Wgetを利用すると、Webページを丸ごとダウンロードして保存することができる。また、いったん設定を作れば、それをバッチファイル（.BAT）として保存することで、ファイルのダブルクリックだけで実行が可能だ。 簡単（？）な使い方 Wgetをダウンロードしたら、コマンド プロンプトを起動して、W
私の情報整理術: 捨てる派の情報整理術
捨てる派? 捨てない派? 情報整理術は興味の尽きないトピックです。誰もが何かしらのこだ わりを持っているため、ひとたび議論が始まると、自分はこうやっ てる、俺も昔はそうやっていたが駄目だった、などと始まって収拾 がつかなくなります。これはちょうど誰もがうまいラーメン屋につ いて一家言を持っているのと似ています。 私の観察によると、ある種の人たちが情報整理術について議論を始 めると永遠に平行線で終わるようです。それは「捨てる派」と「捨 てない派」です。 捨てる派によれば、「物理的なものにしろ電子的なものにしろ、い らないものはどんどん捨ててしまえばよろしい。不要なものがたく さんあるから必要なものが見つかりにくくなるのだ。第一、ものが 少ない方が気分がすっきりする。昔から、墓場まで情報は持ってい けないと言われているではないか」ということになります。 一方、捨てない派によれば「必要か不要か簡
リスト作成グループ - Webを使って、Webに使われないための私則
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
リマインダーメーラー
