Re: anyone else having problems installing plugins?
Egor Abramovich <[email protected]>
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | <CA+Q-OM-9k5DQwOELkMZ8MzHQn+U2xkU1E1QW94cipvKopESbBA@mail.gmail.com> |
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