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?
Than
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
2 matches
Mail list logo