Re: Plugins mirrors
Vampire <[email protected]>
| Newsgroups | gmane.editors.jedit.user |
|---|---|
| Message-ID | <CAKChYSrWiPhZZ-E-A-k8LPf71Ma0VFPPm3JVUbOOh-kc6v+E5A@mail.gmail.com> |
Hi, the mirrors system on SourceForge apparently got changed, so that not every file is present on all mirrors anymore if they are not downloaded regularly I guess. There are files that are acutally only available on one mirror. With the next release of jEdit (5.4.0) which will probably come out soon, I changed the logic of how the files are downloaded, so it should always work and fall back to a mirror that has the file in question present. You can either use a nightly build as of tomorrow, or wait for 5.4.0. In the meantime you can either - take the plugin JARs from your old jEdit installation as Andrew suggested if you still have them available or - try using the "Plugin Center default" which should always use a mirror that has the file in question available or - as last resort go to http://plugins.jedit.org and download the plugin manually, this also always works Regards Björn 2017-01-10 12:59 GMT+01:00 Andrew Sowerby <[email protected]>: > Oh, and if you happen to have access to the old jedit directory, you can > just copy it over the new one. It includes the "jars" directory (which is > where the plugins are stored) and also the all important "properties" file, > with all your settings and customization, and also the "macros" directory. > It even works between operating systems, although you'll find that colour > codes are, annoyingly, different for jEdit on linux and on Windows. > > See this link: http://jedit.org/users-guide/settings-directory.html > > - Andrew > > On 10 January 2017 at 11:54, Andrew Sowerby <[email protected]> > wrote: >> >> Hi Jim, >> >> This appears to be a problem on jEdit's side, because I'm seeing the same >> issue on both my Windows 7 and Ubuntu 16.04 machines. This has happened >> before, but usually would have been resolved within a few hours. I'd just >> give it more time. >> >> - Andrew >> >> On 9 January 2017 at 19:34, jim <[email protected]> wrote: >>> >>> I just installed jEdit from the the Ubuntu repositories on my new 16.04 >>> system. I am trying to install the same plugins I was using on my 14.04 >>> system. I managed to install 3 plugins, but now get a popup messages >>> telling me an error occurred and to use a different mirror. I've since >>> tried a dozen different mirrors in 4 countries and always get this error >>> message. >>> >>> Is the entire mirrors system broken or do I have something wrong on my >>> end? >>> >>> Regards, Jim >>> >>> >>> ------------------------------------------------------------------------------ >>> Developer Access Program for Intel Xeon Phi Processors >>> Access to Intel Xeon Phi processor-based developer platforms. >>> With one year of Intel Parallel Studio XE. >>> Training and support from Colfax. >>> Order your platform today. http://sdm.link/xeonphi >>> -- >>> ----------------------------------------------- >>> jEdit Users' List >>> [email protected] >>> https://lists.sourceforge.net/lists/listinfo/jedit-users >> >> > > > ------------------------------------------------------------------------------ > Developer Access Program for Intel Xeon Phi Processors > Access to Intel Xeon Phi processor-based developer platforms. > With one year of Intel Parallel Studio XE. > Training and support from Colfax. > Order your platform today. http://sdm.link/xeonphi > -- > ----------------------------------------------- > 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