Re: Plugin manager fails with error

:-\

The button is still greyed-out!

In fact, deleting the home/.jedit directory and reinstalling version 
5.3, the "Install" button is greyed-out from the start! Is there some 
other initialisation file/directory I should be deleting to clean up? 
(On Linux Mint.)

P



On 02/03/17 14:26, Alan Ezust wrote:
> 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] <mailto:[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]
>     <mailto:[email protected]>
>     https://lists.sourceforge.net/lists/listinfo/jedit-users
>     <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