Re: anyone else having problems installing plugins?
Dale Anson <[email protected]>
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | <CAHrA0wCWPJaYQDReO_68NhQzfRK8qJKu2-z27utP2A=DWNfidg@mail.gmail.com> |
AntlrSideKick and JavaSideKick were the last 2 plugins released. Looks like a problem with the release process. I haven't done a plugin release myself in a long time, but I'll look at the scripts to see if I can tell what went wrong. On Mon, Mar 13, 2023 at 12:29 AM Egor Abramovich <[email protected]> wrote: > > Files are incorrectly placed for AntlrSideKick, should be in `4.10` folder. > https://sourceforge.net/projects/jedit-plugins/files/AntlrSideKick/ > > So, anyone who installed this plugin will likely have these kind of problems. > BTW, there is a task on that: https://sourceforge.net/p/jedit/mailman/message/37734584/ > > On Sat, Mar 11, 2023 at 8:45 PM Dan Wasson <[email protected]> wrote: >> >> fwiw, I've had no problems from northeast usa, I went to http://plugins.jedit.org/plugins/?LaTeXTools >> >> clicked "Complete Download: LaTeXTools-0.6.1.zip", which took me to : >> >> https://sourceforge.net/projects/jedit-plugins/files/LaTeXTools/0.6.1/LaTeXTools-0.6.1.zip/download?use_mirror=master >> >> and immediately LaTeXTools-0.6.1.zip (282k) was downloaded and unzipped fine >> >> >> >> On 3/11/2023 6:10 AM, James wrote: >> >> Yup, I couldn't download about 90% of the plugins for a new install, and I tried about 7 of the mirrors. I had to bring up an old laptop to get the old copies from there. >> >> On Fri, Mar 10, 2023 at 4:16 PM Alan Ezust <[email protected]> wrote: >>> >>> I'm having no success downloading latex tools today. I tried plugin central, some place in japan and another in Europe. >>> I've had similar problems in the past month downloading other plugins. What's going on? >>> >>> -- >>> ----------------------------------------------- >>> jEdit Developers' List >>> [email protected] >>> https://lists.sourceforge.net/lists/listinfo/jedit-devel >> >> >> >> >> -- >> ----------------------------------------------- >> jEdit Developers' List >> [email protected] >> https://lists.sourceforge.net/lists/listinfo/jedit-devel > > -- > ----------------------------------------------- > jEdit Developers' List > [email protected] > https://lists.sourceforge.net/lists/listinfo/jedit-devel -- ----------------------------------------------- jEdit Developers' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-devel