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
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.