Re: [ jEdit-users ] Plugin manager fails with error

[Peter R. <p.r...@sh...>]

On 02/03/17 13:53, Peter Rockett 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.
>
OK. For the record, I have now managed to get the plugin manager to 
download. But none of the four European mirrors worked. The first three 
North American mirrors also failed; the fourth North American mirror 
started and then broke. Finally, the fifth North American mirror worked :-)

So "very unreliable" seems a fair judgement.

P.