TeXインストーラ3のプロキシ設定

TeXインストーラ3はhttp://www.ms.u-tokyo.ac.jp/~abenori/mycreate/から入手できる．jsclassesも欲しいのでplugin集も入手する．

プロキシ設定はkakuto3.exe上で実施する．FTP通信にプロキシを適用できないので，URLのリストボックスはhttp://から始まるアドレスを選択する．問題が無ければ「ダウンロードするファイルを選択する画面」まで進む．通信に失敗するなら，ダウンロード元を変えて再試行する．

jsclasses等の，plugin集によって入手するタイプが失敗することがある．このときはplugin/*.rbを編集する．jsclasses.rbを例に出せば，79行目を

#		Net::HTTP::Proxy(proxy,proxyport).start(uri.host){|http|
		Net::HTTP::Proxy('proxy.example.com',8080).start(uri.host){|http|

と変え，プロキシを直接指定する．