Re: Plugin manager fails with error

Update to the Daily Build of jEdit 5.4 and the problems should be fixed.
We're releasing a new version of jEdit shortly.


On Thu, Mar 2, 2017 at 5:53 AM, Peter Rockett <[email protected]>
wrote:

> On 02/03/17 13:30, Mike Maxwell wrote:
> > On 3/2/2017 8:21 AM, Peter Rockett wrote:
> >> New to jEdit but experiencing a persistent problem when trying to
> >> install plugins. The plugin manager repeatedly fails with "Error while
> >> downloading the plugin, please try another mirror". Except trying lots
> >> of other mirrors and different machines/locations over a number of days
> >> consistently produces the same outcome.
> >
> > I've run into this some lately, but have always succeeded in finding a
> > working mirror (the last time less than a week ago). The first thing
> > to do is to go to the Global Options Dialog, and click on Plugin
> > Manager. (Or from the Plugin Manager itself, click the button for
> > Download Options.)  This gives a list of known mirrors, but it's
> > probably out of date.  Click on the Update Mirror List button to get a
> > newer list, then choose one from the list and try downloading your
> > plugins again.
>
> OK. But this is the same advice that appears in a number of posts. I
> have done all of this already but no success. If, however, you have had
> this problem but have managed to install plugins eventually then I guess
> I have to conclude that the plugin manager is just very unreliable. It's
> a great idea - but I get the impression that it seems to have been this
> way for quite some time... a pity.
>
> P.
>
>
> ------------------------------------------------------------
> ------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, SlashDot.org! http://sdm.link/slashdot
> --
> -----------------------------------------------
> jEdit Users' List
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/jedit-users
>

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, SlashDot.org! http://sdm.link/slashdot

-- 
-----------------------------------------------
jEdit Users' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-users