Gentoo Archives: gentoo-user

From: Anthony Roy <antroy@×××××.com>
To: gentoo-user@l.g.o
Subject: Re: [gentoo-user] Jedit, cannot install XML plugin
Date: Thu, 08 Dec 2005 14:20:49
Message-Id: 12bada460512080615q6931445j@mail.gmail.com
In Reply to: [gentoo-user] Jedit, cannot install XML plugin by Edwin Kapauni
1 You should be able to download it from the jedit website (www.jedit.org).
2
3 Installing is simply a matter of unzipping the file into the
4 $USER/.jedit/plugins directory.
5
6 The plugin manager sometimes has network problems, and occaisionally a
7 corrupted plugin distribution finds its way onto the plugin download
8 server.
9
10 --
11 Ant...
12
13 --
14 gentoo-user@g.o mailing list

Replies

Subject Author
[gentoo-user] Re: Jedit, cannot install XML plugin Edwin Kapauni <edwinkapauni@×××××.de>