なんたらノート第三期ベータスマートフォン用の表示で見るスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。読者です読者をやめる読者になる読者になるなんたらノート第三期ベータ2008-09-29jEditプラグインセンター復活jEdit先日からずっと、世界的にjEditプラグインがオンラインインストールできない状態が続いていましたが、http://community.jedit.org/?q=node/view/4013現在この問題は解消している模様です。プラグインを手作業で集めてjarsに入れるか、プラグインマネージャのソースをハックしないといけなかったのですが、修復されて一安心。復活したのでもういいのですが、念のため、同種の不具合状況の確認方法を残しておきます。この不具合を(独自に)調べるうちに、複数の偶然が重なっていることがわかりました。jEditプラグインセンターのミラーリスト管理PHPにバグ→選択したミラーサイトが反映されない不具合SourceForgeに大規模なサイト更新があった→jEditが認識していたデフォルトダウンロード元情報が古くなった「SourceForgeの古いURL」におけるIPv6対応ミラーホストがレスポンスを返さないこれらのうち、ひとつでもヒットしなければ、生きていられたものを。jedit.jarのorg/gjt/sp/jedit/jedit_gui.propsには、plugin-manager.export-urlplugin-manager.mirror-urlというエントリがあり、プラグインのダウンロードミラー情報を提供するURLが書いてある。plugin-manager.mirror-urlの値、http://plugins.jedit.org/export/mirror_list.phpで、ミラーリストを確認できる。ID="????">のいずれかのIDをパラメータとして、plugin-manager.export-urlにこんなふうにhttp://plugins.jedit.org/export/gzip_plugin_manager.php?mirror=nchcアクセスすると、全プラグインの実際のダウンロード元を知ることができる。実際のダウンロード元がわかれば、そのホストからwgetしたり、nslookupしたりして、本当にダウンロードできるのかどうかを調べるといい。最終的にソースをいじる場合、org.gjt.sp.jedit.pluginmgr.Roster.Installクラスのdownloadメソッドが最終砦。いまは、jEditプラグインセンターのミラーリストが新しいSourceForgeのミラーサイトに対応しているので大丈夫。その証拠にJAISTがなくなっています。Blog|ブログを報告する。