Re: Websites, feeds, mirror list, plugin list, .... should be functional again
Vampire <[email protected]> Wed, 13 Sep 2023 17:12:44 +0200
| Newsgroups | gmane.editors.jedit.user |
|---|---|
| Message-ID | <CAKChYSoii3mCAWjCbkR80NB9mDLnzse95Vbhdhvg9pKKTBU4bw@mail.gmail.com> |
--===============8737590392455550225== Content-Type: multipart/alternative; boundary="000000000000743bb506053efe1b" --000000000000743bb506053efe1b Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable There is one flaky test where I'm not sure whether the test or the actual code is the problem. I asked Matthieu to have a look at it, as it is from his changes. And in the coming week, I'm on vacation. But after that and if Matthieu had a look and fixed it either way, I can kick off a fresh release if you tell me it is ready, no problem. Can you have a look at updating the CHANGES.txt with the missing entries? And maybe also the what's new section in the docs? Also, if there is more to coordinate, maybe we should move the discussion to the devel list instead. :-) Cheers Bj=C3=B6rn Am Mi., 13. Sept. 2023 um 16:50 Uhr schrieb Dale Anson <[email protected]>= : > Maybe it's time for a new jEdit release? It's been 3 years since 5.6 > has been out. Your update for the plugin installation is a significant > fix, plus there are some other updates/bug fixes that have been ready > for quite a while. The CHANGES.txt needs updated, there are more fixes > showing in the svn log than are in the CHANGES file. > > On Tue, Sep 12, 2023 at 8:34=E2=80=AFPM Vampire <[email protected]> wrote= : > > > > Hi, > > > > two week ago most of the websites, feeds, lists and so on were not > working anymore due to an update SourceForge made. > > > > In the meantime I hopefully fixed all those problems on the main page, > plugins page, community page, feeds, lists, .... > > So hopefully everything is up and working again properly. > > If you find anything that is still behaving funky, please let me know. > > > > > > The problem, that plugin installation sometimes does not work is not > related to this. > > Not all plugins are available on all mirrors (some even just on one and > we cannot influence that). > > If a plugin you want to install is not available on the mirror you > selected, you are redirected to a mirror that has the plugin. > > This redirect URL by SourceForge has changed in the past and now > triggers a bug in jEdit that is already fixed in the trunk code. > > So to install a plugin, you either have to try all mirrors in turn unti= l > you find one that has the plugin, install it manually by downloading it > from plugins.jedit.org, or use a source build from latest trunk code. > > > > Best regards > > Bj=C3=B6rn > > -- > > ----------------------------------------------- > > jEdit Users' List > > [email protected] > > https://lists.sourceforge.net/lists/listinfo/jedit-users > --000000000000743bb506053efe1b Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr">There is one flaky test where I'm not sure whether the= test or the actual code is the problem.<div>I asked Matthieu to have a loo= k at it, as it is from his changes.</div><div><br></div><div>And in the com= ing week, I'm on vacation.</div><div>But after that and=C2=A0if Matthie= u had a look and fixed it either way, I can kick off a fresh release if you= tell me it is ready, no problem.</div><div><br></div><div>Can you have a l= ook at updating the CHANGES.txt with the missing entries?</div><div>And may= be also the what's new section in the docs?</div><div><br></div><div>Al= so, if there is more to coordinate, maybe we should move the discussion to = the devel=C2=A0list instead. :-)</div><div><br></div><div>Cheers</div><div>= Bj=C3=B6rn</div><div><br></div></div><br><div class=3D"gmail_quote"><div di= r=3D"ltr" class=3D"gmail_attr">Am Mi., 13. Sept. 2023 um 16:50=C2=A0Uhr sch= rieb Dale Anson <<a href=3D"mailto:[email protected]">[email protected]= m</a>>:<br></div><blockquote class=3D"gmail_quote" style=3D"margin:0px 0= px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Maybe= it's time for a new jEdit release? It's been 3 years since 5.6<br> has been out. Your update for the plugin installation is a significant<br> fix, plus there are some other updates/bug fixes that have been ready<br> for quite a while. The CHANGES.txt needs updated, there are more fixes<br> showing in the svn log than are in the CHANGES file.<br> <br> On Tue, Sep 12, 2023 at 8:34=E2=80=AFPM Vampire <<a href=3D"mailto:Vampi= [email protected]" target=3D"_blank">[email protected]</a>> wrote:<br> ><br> > Hi,<br> ><br> > two week ago most of the websites, feeds, lists and so on were not wor= king anymore due to an update SourceForge made.<br> ><br> > In the meantime I hopefully fixed all those problems on the main page,= plugins page, community page, feeds, lists, ....<br> > So hopefully everything is up and working again properly.<br> > If you find anything that is still behaving funky, please let me know.= <br> ><br> ><br> > The problem, that plugin installation sometimes does not work is not r= elated to this.<br> > Not all plugins are available on all mirrors (some even just on one an= d we cannot influence that).<br> > If a plugin you want to install is not available on the mirror you sel= ected, you are redirected to a mirror that has the plugin.<br> > This redirect URL by SourceForge has changed in the past and now trigg= ers a bug in jEdit that is already fixed in the trunk code.<br> > So to install a plugin, you either have to try all mirrors in turn unt= il you find one that has the plugin, install it manually by downloading it = from <a href=3D"http://plugins.jedit.org" rel=3D"noreferrer" target=3D"_bla= nk">plugins.jedit.org</a>, or use a source build from latest trunk code.<br= > ><br> > Best regards<br> > Bj=C3=B6rn<br> > --<br> > -----------------------------------------------<br> > jEdit Users' List<br> > <a href=3D"mailto:[email protected]" target=3D"_blank"= >[email protected]</a><br> > <a href=3D"https://lists.sourceforge.net/lists/listinfo/jedit-users" r= el=3D"noreferrer" target=3D"_blank">https://lists.sourceforge.net/lists/lis= tinfo/jedit-users</a><br> </blockquote></div> --000000000000743bb506053efe1b-- --===============8737590392455550225== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline --===============8737590392455550225== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline -- ----------------------------------------------- jEdit Users' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-users --===============8737590392455550225==--