Re: anyone else having problems installing plugins?
Dale Anson <[email protected]>
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | <CAHrA0wAMgUGDrs1s3QH8X1EtZMbARHAoofv6+Z_nhjLEGy0grQ@mail.gmail.com> |
Or not. I don't have admin access on plugin central any more and I can't find local copies of the plugin release process. Those probably got left behind when I changed laptops last year. On Mon, Mar 13, 2023 at 1:52 PM Dale Anson <[email protected]> wrote: > > 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