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