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

[Vampire <Va...@je...>]

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...@si...>:

>
>
> “…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 <Va...@je...>
> *Sent:* Tuesday, September 12, 2023 9:23 PM
> *To:* jEdit Announce Mailinglist <jed...@li...>
> *Subject:* [ jEdit-announce ] Websites, feeds, mirror list, plugin list,
> .... should be functional again
>
>
>
> *CAUTION:* This external email was sent to you by *va...@je...
> <va...@je...>*. 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.
>