Re: Plugin manager fails with error
Peter Rockett <[email protected]>
| Newsgroups | gmane.editors.jedit.user |
|---|---|
| Message-ID | <[email protected]> |
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. ------------------------------------------------------------------------------ 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