[ jEdit-users ] Help installing Plugins

[Amy E Morgan]

Hello!

I have just installed Jedit, but am having trouble installing plugins.
I have selected the plugins I want from the plugin manager, but I
keep getting errors when I try to install. The error message reads:
Error while downloading the plugin, please try another mirror no route
to host. What is a mirror and how do I try another one? I would
appreciate any help.

Thanks,
Amy

[Matthieu Casanova]

Post by Amy E Morgan
Hello!
I have just installed Jedit, but am having trouble installing plugins.
I have selected the plugins I want from the plugin manager, but I
Error while downloading the plugin, please try another mirror no route
to host. What is a mirror and how do I try another one? I would
appreciate any help.

Hi, the plugins are hosted by several servers and you can switch to
another one if the one you use is broken.
To do that, in the plugin manager click on the button "Download
Options". A new dialog appears.
Here click to update mirror list.
And choose one Usually North America Easynews Phoenix is good but you
can try any mirror you want. When you choosed one, click ok and try to
download your plugin again.
If you use the last jEdit version there is a bug and you will have to
wait about 10 minutes after changing the mirror because a cache was
not refreshed

Matthieu