[ jEdit-devel ] Please I want to unsubscribe from this mailing list

 Please I want to unsubscribe from this mailing list
Many thanks

     On Monday, March 13, 2023, 09:22:09 PM GMT+1, Dale Anson <da...@da...> wrote:  
 
 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 <da...@da...> 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
> <ego...@gm...> 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 <dan...@ho...> 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 <ala...@gm...> 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
> >>> jEd...@li...
> >>> https://lists.sourceforge.net/lists/listinfo/jedit-devel
> >>
> >>
> >>
> >>
> >> --
> >> -----------------------------------------------
> >> jEdit Developers' List
> >> jEd...@li...
> >> https://lists.sourceforge.net/lists/listinfo/jedit-devel
> >
> > --
> > -----------------------------------------------
> > jEdit Developers' List
> > jEd...@li...
> > https://lists.sourceforge.net/lists/listinfo/jedit-devel


-- 
-----------------------------------------------
jEdit Developers' List
jEd...@li...
https://lists.sourceforge.net/lists/listinfo/jedit-devel