[gentoo-user] Jedit, cannot install XML plugin

[Edwin Kapauni]

Need some help with jedit. I have emerged app-editors/jedit but when 
using its plugin manager to load the XML plugin it fails throwing an


  I/O Error
  An I/O Error ocurred (error in opening zip file)

Other plugins can be installed easily.

Any hint for me how to get XML plugin installed?

Thanks in advance ...

--
gentoo-user@gentoo.org mailing list

Re: [gentoo-user] Jedit, cannot install XML plugin

[Anthony Roy]

You should be able to download it from the jedit website (www.jedit.org).

Installing is simply a matter of unzipping the file into the
$USER/.jedit/plugins directory.

The plugin manager sometimes has network problems, and occaisionally a
corrupted plugin distribution finds its way onto the plugin download
server.

--
Ant...

-- 
gentoo-user@gentoo.org mailing list