読者です 読者をやめる 読者になる 読者になる

構成の管理で更新ネットワークエラー

[構成の管理]ダイアログでインストール済みのプラグインを更新しようとすると、ネットワークエラーが出る。
プロキシ経由してるんだけど、プロキシの設定は[ウィンドウ>設定>インストール/更新]できちんとやっている。
で、[ウィンドウ>設定>インストール/更新]を開いて何も設定を変えないまま[適用]ボタンを押してから、再び[構成の管理]ダイアログで試すと...。

なぜか成功する。

設定画面用のデータ管理領域と、実際に使うときのデータ管理領域が違うのかな?
それとも、[構成の管理]系の処理でプロキシ設定のロード処理が漏れてるのかな?

回避方法は見つけたけど、メンドイ。