[ jEdit-announce ] Websites, feeds, mirror list, plugin list, .... should be functional again

--===============9135124231953046597==
Content-Type: multipart/alternative; boundary="000000000000a21e4f06053367fc"

--000000000000a21e4f06053367fc
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

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

--000000000000a21e4f06053367fc
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Hi,<div><br></div><div>two week ago most of the websites, =
feeds, lists and so on were not working anymore due to an update SourceForg=
e made.</div><div><br></div><div>In the meantime I hopefully=C2=A0fixed all=
 those problems on the main page, plugins page, community page, feeds, list=
s, ....</div><div>So hopefully everything is up and working again properly.=
</div><div>If you find anything that is still behaving funky, please=C2=A0l=
et me know.</div><div><br></div><div><br></div><div>The problem, that plugi=
n installation sometimes does not work is not related to this.</div><div>No=
t all plugins are available on all mirrors (some even just on one and we ca=
nnot influence that).</div><div>If a plugin you want to install is not avai=
lable on the mirror you selected, you are redirected to a mirror that has t=
he plugin.</div><div>This redirect URL by SourceForge has changed in the pa=
st and now triggers a bug in jEdit that is already fixed in the trunk code.=
</div><div>So to install a plugin, you either have to try all mirrors in tu=
rn until you find one that has the plugin, install it manually by downloadi=
ng it from <a href=3D"http://plugins.jedit.org">plugins.jedit.org</a>, or u=
se a source build from latest trunk code.</div><div><br></div><div>Best reg=
ards</div><div>Bj=C3=B6rn</div></div>

--000000000000a21e4f06053367fc--


--===============9135124231953046597==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline


--===============9135124231953046597==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
jEdit Announcement List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-announce

--===============9135124231953046597==--