Please I want to unsubscribe from this mailing list
Many thanks
On Monday, March 13, 2023, 09:22:09 PM GMT+1, Dale Anson <[email protected]> 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 <[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
lmpx.com only provides a reader for public news (NNTP) servers. It is not
affiliated with the servers or forums shown here and is not responsible for
the content of articles, which is written by their respective authors.