Plugin manager fails with error
Peter Rockett <[email protected]>
| Newsgroups | gmane.editors.jedit.user |
|---|---|
| Message-ID | <[email protected]> |
Hi 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. Now either all the mirrors are simultaneously broken all of the time or there is an issue! I am aware this problem seems to have been raised a number of times over the years but I cannot find any resolution other than advice to try a different mirror... which definitely does not solve it for me. (FWIW: I can install plugins manually but this is a real pain due to slow download speeds and the need to satisfy undocumented dependencies that do not become apparent until you try to run the program.) Is there any definitive advice here on the issue with the plugin manager? Using jEdit 5.3.0 & openjdk-8. Peter ------------------------------------------------------------------------------ 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