Re: anyone else having problems installing plugins?

A few days ago I also fixed the bug in the file-name extraction that made
the plugin installation fail if the plugin is not available on the selected
mirror.
So when running trunk code, the plugin installation works again properly.
:-)

Cheers
Björn

Am So., 26. März 2023 um 10:00 Uhr schrieb Eric Le Lay via jEdit-devel <
[email protected]>:

> Hi,
> thanks Björn for the fix. I must have mixed those 2 up when copying
> to sourceforge. Sorry about that everybody :-/
> Cheers,
>
> Le Tue, 14 Mar 2023 15:45:05 +0100,
> Björn Kautler <[email protected]> a écrit :
>
> > I already fixed JavaSideKick files 3 days ago as they were called
> > ...4.10... while it should be ...4.2...
> > I now also fixed AntlrSideKick.
> >
> > Regards
> > Björn
> >
> > Am Mo., 13. März 2023 um 21:21 Uhr schrieb Dale Anson
> > <[email protected]>:
> >
> > > 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
> > >
>
>
>
> --
> -----------------------------------------------
> 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