[prev in list] [next in list] [prev in thread] [next in thread]
List: jedit-users
Subject: Re: [ jEdit-users ] [ jEdit-announce ] Websites, feeds, mirror list, plugin list, .... should be fun
From: Vampire <Vampire () jedit ! org>
Date: 2023-09-15 14:40:56
Message-ID: CAKChYSr2d8pP1D1MAvdyuWeiqcK++4PAdHRqE5-h1z0Gn1TYwQ () mail ! gmail ! com
[Download RAW message or body]
[Attachment #2 (multipart/alternative)]
No files to be edited, no.
Just extract them to the correct directory as described on
http://plugins.jedit.org/install.php.
Cheers
Björn
Am Fr., 15. Sept. 2023 um 16:20 Uhr schrieb Jarvis, Bob <
Bob.Jarvis@signetjewelers.com>:
>
>
> "…install it manually by downloading from plugins.jedit.org…" – 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'll be automatically loaded, or are there configuration
> files which need to be edited?
>
>
>
> Many thanks,
>
> Bob
>
>
>
> *From:* Vampire <Vampire@jedit.org>
> *Sent:* Tuesday, September 12, 2023 9:23 PM
> *To:* jEdit Announce Mailinglist <jedit-announce@lists.sourceforge.net>
> *Subject:* [ jEdit-announce ] Websites, feeds, mirror list, plugin list,
> .... should be functional again
>
>
>
> *CAUTION:* This external email was sent to you by *vampire@jedit.org
> <vampire@jedit.org>*. 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 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örn
>
>
> 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.
>
[Attachment #5 (text/html)]
<div dir="ltr"><div>No files to be edited, no.</div><div>Just extract them to the \
correct directory as described on <a \
href="http://plugins.jedit.org/install.php">http://plugins.jedit.org/install.php</a>.</div><div><br></div><div>Cheers</div><div>Björn</div></div><br><div \
class="gmail_quote"><div dir="ltr" class="gmail_attr">Am Fr., 15. Sept. 2023 um 16:20 \
Uhr schrieb Jarvis, Bob <<a \
href="mailto:Bob.Jarvis@signetjewelers.com">Bob.Jarvis@signetjewelers.com</a>>:<br></div><blockquote \
class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid \
rgb(204,204,204);padding-left:1ex"><div class="msg-1966227909303751114">
<div lang="EN-US" style="overflow-wrap: break-word;"><br>
<br>
<div class="m_-1966227909303751114WordSection1">
<p class="MsoNormal">"…install it manually by downloading from <a \
href="http://plugins.jedit.org" target="_blank">plugins.jedit.org</a>…" – 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'll \
be automatically loaded, or are there configuration files which need to be \
edited?<u></u><u></u></p> <p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">Many thanks,<u></u><u></u></p>
<p class="MsoNormal">Bob<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<div style="border-right:none;border-bottom:none;border-left:none;border-top:1pt \
solid rgb(225,225,225);padding:3pt 0in 0in"> <p class="MsoNormal"><b>From:</b> \
Vampire <<a href="mailto:Vampire@jedit.org" \
target="_blank">Vampire@jedit.org</a>> <br> <b>Sent:</b> Tuesday, September 12, \
2023 9:23 PM<br> <b>To:</b> jEdit Announce Mailinglist <<a \
href="mailto:jedit-announce@lists.sourceforge.net" \
target="_blank">jedit-announce@lists.sourceforge.net</a>><br> <b>Subject:</b> [ \
jEdit-announce ] Websites, feeds, mirror list, plugin list, .... should be functional \
again<u></u><u></u></p> </div>
<p class="MsoNormal"><u></u> <u></u></p>
<div>
<div>
<table border="0" cellspacing="0" cellpadding="0" width="100%" \
style="width:100%;background:rgb(255,234,175);border-collapse:collapse"> <tbody>
<tr>
<td width="100%" style="width:100%;padding:0.75pt">
<p class="MsoNormal"><strong><span \
style="font-family:Calibri,sans-serif;color:red">CAUTION:</span></strong><span \
style="color:black"> This external email was sent to you by </span><strong><u><span \
style="font-family:Calibri,sans-serif;color:rgb(51,102,255)"><a \
href="mailto:vampire@jedit.org" \
target="_blank">vampire@jedit.org</a></span></u></strong><span style="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="MsoNormal"><u></u> <u></u></p>
<div class="MsoNormal" align="center" style="text-align:center">
<hr size="2" width="100%" align="center">
</div>
</div>
<p class="MsoNormal">Hi,<u></u><u></u></p>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="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="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">In the meantime I hopefully fixed all those problems on the \
main page, plugins page, community page, feeds, lists, ....<u></u><u></u></p> </div>
<div>
<p class="MsoNormal">So hopefully everything is up and working again \
properly.<u></u><u></u></p> </div>
<div>
<p class="MsoNormal">If you find anything that is still behaving funky, please let \
me know.<u></u><u></u></p> </div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">The problem, that plugin installation sometimes does not work is \
not related to this.<u></u><u></u></p> </div>
<div>
<p class="MsoNormal">Not all plugins are available on all mirrors (some even just on \
one and we cannot influence that).<u></u><u></u></p> </div>
<div>
<p class="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="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 code.<u></u><u></u></p> \
</div> <div>
<p class="MsoNormal">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 <a href="http://plugins.jedit.org" target="_blank">plugins.jedit.org</a>, or use \
a source build from latest trunk code.<u></u><u></u></p> </div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">Best regards<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal">Björn<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.
</div>
</div></blockquote></div>
--
-----------------------------------------------
jEdit Users' List
jEdit-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-users
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic