ウェブで公開されている情報をローカルのメディアにダウンロードする必要があった。諸般の事情から状況を詳しく説明できないのだが、私的使用のための複製ではないが著作権法違反には問われない状況下でのことだ。
フラッシュを使っているサイトで、最初は Windows のツールで一括ダウンロードを試みた。GetHTML という定番のフリーウェアでダウンロードを試みたがダウンロードが停止してしまう。(ひょっとしたらパラメータの設定等が間違っているのかもしれない)
いろいろ試してみてうまく行かず、諦めかけていたところ、Linux の wget コマンドで一発でダウンロードできた。
wget <ターゲットのURL>
これだけだ。
Linux デスクトップを使い続けて約十年。まだまだ修行が足らないな、と思った。