名前: hoge 日時: 2006-08-28 18:36:19 IPアドレス: 133.31.18.*
texinst75*.exeを解凍して出てくるgzip.exeをlocal\binにコピーしようとすると 上書きしていいか？と聞いてきますね。調べてみたらdvipsk-w32.tar.gz に gzip.exe gunzip.exe gzcat.exe などが入るようになったのですね。 これらのファイルの日付が新しいので、意図的に入っているものでしょうか。 去年web2c7.5.4をインストールしたときにはありませんでした。 texinstの gzip.exe の方が古いので、この場合、上書き確認には「No」とした方が いいのでしょう。 textinstの gzip.exe を新しいものにして dvipsk-w32.ta.gz には gzip.exe は 入れないようにしてはどうでしょうか。 個人的には gunzip.exe gzcat.exe も不要ですが。gzip.exe をリネームしただけですし。 なお2003年過去ログ 18376 にも「gzip上書き」の件が質問されていました。
この書き込みへの返事：