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

--===============7684970064173135579==
Content-Type: multipart/alternative; boundary="00000000000067e0eb060566c846"

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

No files to be edited, no.
Just extract them to the correct directory as described on
http://plugins.jedit.org/install.php.

Cheers
Bj=C3=B6rn

Am Fr., 15. Sept. 2023 um 16:20 Uhr schrieb Jarvis, Bob <
[email protected]>:

>
>
> =E2=80=9C=E2=80=A6install it manually by downloading from plugins.jedit.o=
rg=E2=80=A6=E2=80=9D =E2=80=93 could you
> give me a little explanation on this, particularly as it relates to a
> Windows environment? Do I just have to put the plug-ins in a directory
> somewhere and they=E2=80=99ll be automatically loaded, or are there confi=
guration
> files which need to be edited?
>
>
>
> Many thanks,
>
> Bob
>
>
>
> *From:* Vampire <[email protected]>
> *Sent:* Tuesday, September 12, 2023 9:23 PM
> *To:* jEdit Announce Mailinglist <[email protected]>
> *Subject:* [ jEdit-announce ] Websites, feeds, mirror list, plugin list,
> .... should be functional again
>
>
>
> *CAUTION:* This external email was sent to you by *[email protected]
> <[email protected]>*. Do not click links or open attachments unless you
> trust the sender and know the content is safe.
>
>
> ------------------------------
>
> Hi,
>
>
>
> two week ago most of the websites, feeds, lists and so on were not workin=
g
> 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 w=
e
> 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
>
>
> The information contained in this e-mail message is privileged and/or
> confidential and is intended only for the use of the individual or entity
> named above. If the reader of this message is not the intended recipient,
> or the employee or agent responsible to deliver it to the intended
> recipient, you are hereby notified that any dissemination, distribution o=
r
> copying of this communication is strictly prohibited. If you have receive=
d
> this communications in error, please immediately notify us by telephone
> (330-668-5000), and destroy the original message. Thank you.
>

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

<div dir=3D"ltr"><div>No files to be edited, no.</div><div>Just extract the=
m to the correct directory as described on <a href=3D"http://plugins.jedit.=
org/install.php">http://plugins.jedit.org/install.php</a>.</div><div><br></=
div><div>Cheers</div><div>Bj=C3=B6rn</div></div><br><div class=3D"gmail_quo=
te"><div dir=3D"ltr" class=3D"gmail_attr">Am Fr., 15. Sept. 2023 um 16:20=
=C2=A0Uhr schrieb Jarvis, Bob &lt;<a href=3D"mailto:Bob.Jarvis@signetjewele=
rs.com">[email protected]</a>&gt;:<br></div><blockquote class=
=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rg=
b(204,204,204);padding-left:1ex"><div class=3D"msg-1966227909303751114">



<div lang=3D"EN-US" style=3D"overflow-wrap: break-word;"><br>
    <br>
   =20
<div class=3D"m_-1966227909303751114WordSection1">
<p class=3D"MsoNormal">=E2=80=9C=E2=80=A6install it manually by downloading=
 from <a href=3D"http://plugins.jedit.org" target=3D"_blank">plugins.jedit.=
org</a>=E2=80=A6=E2=80=9D =E2=80=93 could you give me a little explanation =
on this, particularly as it relates to a Windows environment? Do I just hav=
e to put the plug-ins in a directory somewhere and they=E2=80=99ll
 be automatically loaded, or are there configuration files which need to be=
 edited?<u></u><u></u></p>
<p class=3D"MsoNormal"><u></u>=C2=A0<u></u></p>
<p class=3D"MsoNormal">Many thanks,<u></u><u></u></p>
<p class=3D"MsoNormal">Bob<u></u><u></u></p>
<p class=3D"MsoNormal"><u></u>=C2=A0<u></u></p>
<div style=3D"border-right:none;border-bottom:none;border-left:none;border-=
top:1pt solid rgb(225,225,225);padding:3pt 0in 0in">
<p class=3D"MsoNormal"><b>From:</b> Vampire &lt;<a href=3D"mailto:Vampire@j=
edit.org" target=3D"_blank">[email protected]</a>&gt; <br>
<b>Sent:</b> Tuesday, September 12, 2023 9:23 PM<br>
<b>To:</b> jEdit Announce Mailinglist &lt;<a href=3D"mailto:jedit-announce@=
lists.sourceforge.net" target=3D"_blank">[email protected]=
et</a>&gt;<br>
<b>Subject:</b> [ jEdit-announce ] Websites, feeds, mirror list, plugin lis=
t, .... should be functional again<u></u><u></u></p>
</div>
<p class=3D"MsoNormal"><u></u>=C2=A0<u></u></p>
<div>
<div>
<table border=3D"0" cellspacing=3D"0" cellpadding=3D"0" width=3D"100%" styl=
e=3D"width:100%;background:rgb(255,234,175);border-collapse:collapse">
<tbody>
<tr>
<td width=3D"100%" style=3D"width:100%;padding:0.75pt">
<p class=3D"MsoNormal"><strong><span style=3D"font-family:Calibri,sans-seri=
f;color:red">CAUTION:</span></strong><span style=3D"color:black"> This exte=
rnal email was sent to you by
</span><strong><u><span style=3D"font-family:Calibri,sans-serif;color:rgb(5=
1,102,255)"><a href=3D"mailto:[email protected]" target=3D"_blank">vampire@=
jedit.org</a></span></u></strong><span style=3D"color:black">. Do not click=
 links or open attachments unless you trust the sender and know
 the content is safe.</span><u></u><u></u></p>
</td>
</tr>
</tbody>
</table>
<p class=3D"MsoNormal"><u></u>=C2=A0<u></u></p>
<div class=3D"MsoNormal" align=3D"center" style=3D"text-align:center">
<hr size=3D"2" width=3D"100%" align=3D"center">
</div>
</div>
<p class=3D"MsoNormal">Hi,<u></u><u></u></p>
<div>
<p class=3D"MsoNormal"><u></u>=C2=A0<u></u></p>
</div>
<div>
<p class=3D"MsoNormal">two week ago most of the websites, feeds, lists and =
so on were not working anymore due to an update SourceForge made.<u></u><u>=
</u></p>
</div>
<div>
<p class=3D"MsoNormal"><u></u>=C2=A0<u></u></p>
</div>
<div>
<p class=3D"MsoNormal">In the meantime I hopefully=C2=A0fixed all those pro=
blems on the main page, plugins page, community page, feeds, lists, ....<u>=
</u><u></u></p>
</div>
<div>
<p class=3D"MsoNormal">So hopefully everything is up and working again prop=
erly.<u></u><u></u></p>
</div>
<div>
<p class=3D"MsoNormal">If you find anything that is still behaving funky, p=
lease=C2=A0let me know.<u></u><u></u></p>
</div>
<div>
<p class=3D"MsoNormal"><u></u>=C2=A0<u></u></p>
</div>
<div>
<p class=3D"MsoNormal"><u></u>=C2=A0<u></u></p>
</div>
<div>
<p class=3D"MsoNormal">The problem, that plugin installation sometimes does=
 not work is not related to this.<u></u><u></u></p>
</div>
<div>
<p class=3D"MsoNormal">Not all plugins are available on all mirrors (some e=
ven just on one and we cannot influence that).<u></u><u></u></p>
</div>
<div>
<p class=3D"MsoNormal">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=
.<u></u><u></u></p>
</div>
<div>
<p class=3D"MsoNormal">This redirect URL by SourceForge has changed in the =
past and now triggers a bug in jEdit that is already fixed in the trunk cod=
e.<u></u><u></u></p>
</div>
<div>
<p class=3D"MsoNormal">So to install a plugin, you either have to try all m=
irrors in turn until you find one that has the plugin, install it manually =
by downloading it from
<a href=3D"http://plugins.jedit.org" target=3D"_blank">plugins.jedit.org</a=
>, or use a source build from latest trunk code.<u></u><u></u></p>
</div>
<div>
<p class=3D"MsoNormal"><u></u>=C2=A0<u></u></p>
</div>
<div>
<p class=3D"MsoNormal">Best regards<u></u><u></u></p>
</div>
<div>
<p class=3D"MsoNormal">Bj=C3=B6rn<u></u><u></u></p>
</div>
</div>
</div>



    <br>
    <br>

The information contained in this e-mail message is privileged and/or
confidential and is intended only for the use of the individual or entity
named above.  If the reader of this message is not the intended
recipient, or the employee or agent responsible to deliver it to the
intended recipient, you are hereby notified that any dissemination,
distribution or copying of this communication is strictly prohibited.
If you have received this communications in error, please immediately
notify us by telephone (330-668-5000), and destroy the original
message.  Thank you.
   =20
</div>
</div></blockquote></div>

--00000000000067e0eb060566c846--


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


--===============7684970064173135579==
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

--===============7684970064173135579==--