Re: Plugin manager fails with error
Mike Maxwell <[email protected]>
| Newsgroups | gmane.editors.jedit.user |
|---|---|
| Message-ID | <[email protected]> |
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.
--
Mike Maxwell
"My definition of an interesting universe is
one that has the capacity to study itself."
--Stephen Eastmond
------------------------------------------------------------------------------
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