中村さん、msmhrtさん、
昨日はありがとうございました。
報告です。
1) Header指定
単純にはいかず、結論としては途中であきらめました。
● User agent のみ指定
Firefoxでログインした後、User agentをFirefoxと同じに設定してwgetを実行しました。
指定なしの場合41Kバイトほどであった取得ファイルが、指定後は950Kバイトに増え、その殆どは、圧縮された(難読化された)Javascriptコードでした。
ブラウザで開くと、自分自身のアカウントに対するパスワードを求められていました。
(少なくとも自分自身のアカウントを認識してくれたのは前進)
● ヘッダ全数指定
次に、すべてのヘッダを指定してwget実行したところ、 400 Bad Request が戻り、取得そのものができませんでした。
ヘッダをひとつづつ追加・削除することで、問題部位の特定は可能っぽかったですが、今日のところはここであきらめました。
2) w3m
うまくいきました。
● ブラウザでの閲覧
昨夜試した時点で、期待した結果が表示されました。
● -dump_source
最初 -dump_source オプションだと、取得される結果が文字化けしているように見えました。
ただ 1 の作業中にどこかで content-encoding: gzip と見かけたのでもしやと思い、
w3m -dump_source [[URL]] > src.zip