名前: もんしろてふ 日時: 2009-09-25 21:59:23 IPアドレス: 89.144.101.*
>>53738 今までの経験から申しますと,Internet Explorer(または HTML 描画エンジンに MSHTML [Trident] を使っているウェブブラウザ)を使って HTTP 経由で *.tar.bz2 ファイルや *.tar.gz ファイルを保存した場合には, *.tar.bz2 → *.tar.tar *.tar.gz → *.tar.tar のようにファイルの拡張子が勝手に変わってしまうことがよくあります。 また,勝手に展開されたり,バイナリ → テキスト変換されたりして, ファイルサイズが変わってしまうこともよくあります。 この場合,FTP 経由でダウンロードすると Internet Explorer でも拡張子やサイズの変更無しに保存できます。 W32TeX を Internet Explorer でダウンロードするなら, Ring Server の FTP サイトからダウンロードしたり, FTP 指定の URI(例えば ftp://ftp.ring.gr.jp/pub/text/TeX/ptex-win32/current/web2c-2009-lib.tar.bz2)を 使ってダウンロードすることをお薦めします。
この書き込みへの返事: