Re: Plugin manager fails with error
F Weller <[email protected]>
| Newsgroups | gmane.editors.jedit.user |
|---|---|
| Message-ID | <[email protected]> |
Could be a file/folder permissions problem? Was jEdit installed as root? If so, then I think you could have problems if you tried to update it as a regular user. -F -------------------------------------------- On Thu, 3/2/17, Peter Rockett <[email protected]> wrote: Subject: Re: [ jEdit-users ] Plugin manager fails with error To: "Alan Ezust" <[email protected]> Cc: "jedit-users" <[email protected]> Date: Thursday, March 2, 2017, 8:46 AM :-\ 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]> 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]. net https://lists.sourceforge.net/ lists/listinfo/jedit-users -----Inline Attachment Follows----- ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, SlashDot.org! http://sdm.link/slashdot -----Inline Attachment Follows----- -- ----------------------------------------------- jEdit Users' List [email protected] 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