|
From: Eric B. <el...@gm...> - 2013-11-13 18:45:15
|
Thanks Kazutoshi,
Personally I'm using jEdit 5.1.0, but I see the most problems when
releasing new plugins which happens on whatever the latest major version
that matches the plugin's requirements.
As an example: This morning (using 5.1.0), I went to update all my plugins
and set the download mirror to the Plugin Central Default. Plugin manager
just sits there with "Loading..." in the middle of the PM window.
On Tue, Nov 12, 2013 at 12:11 PM, Kazutoshi Satoda
<k_s...@f2...>wrote:
> On 2013/11/12 5:04 +0900, Eric Berry wrote:
> > The "plugin central default" pretty much never works (even for plugin
> > versions that have been available for weeks or longer), and I usually end
> > up having to go to somewhere like Brazil, Washington state, or somewhere
> in
> > Europe.
>
> What happens if you use "plugin central default"?
>
> I implemented it in r21741 (2012/06/01), with some error checking.
> http://jedit.svn.sourceforge.net/jedit/?view=rev&rev=21741
> So I think you should have received error messages which indicate what
> happened.
>
> Another way to diagnose the problem is accessing the sample URL, which
> the implementation use, with your browser.
> http://sourceforge.net/projects/jedit/files/latest/download
> The "plugin central default" uses a response from this URL to select a
> mirror. Can you download the latest jEdit installer with this URL? This
> test will give a hint to see if the problem is in jEdit, in SF.net
> mirroring, or in your network environment.
>
> For me, "plugin central default" selects JAIST mirror and it works fine.
>
> --
> k_satoda
>
>
--
Learn from the past. Live in the present. Work towards the future.
Blog: http://eric-berry.blogspot.com
jEdit <http://www.jedit.org> - Programmer's Text Editor
|