Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 94716

Summary: unnecessary ebuilds for jEdit plugins
Product: Gentoo Linux Reporter: Kamil Gornik <gentoo>
Component: New packagesAssignee: Java team <java>
Status: RESOLVED INVALID    
Severity: enhancement    
Priority: High    
Version: unspecified   
Hardware: x86   
OS: Linux   
Whiteboard:
Package list:
Runtime testing required: ---

Description Kamil Gornik 2005-06-01 03:29:32 UTC
I've found few ebuilds:
dev-java/console
dev-java/errorlist
dev-java/gruntspudplugin
dev-java/jakartacommons
dev-java/jdiffplugin
dev-java/sidekick
dev-java/xml
Any of them can be installed using tool provided by jEdit itself (from menu
Plugins->Plugin Manager, tabs Install,Update)
Is there any reason to use ebuilds for that?

Reproducible: Always
Steps to Reproduce:
1.
2.
3.

Actual Results:  
ebuilds in tree

Expected Results:  
no ebuilds, use jEdit for installing plugins
Comment 1 Saleem Abdulrasool (RETIRED) gentoo-dev 2005-06-01 23:42:23 UTC
That allowsthe use of portage to manage the plugins.  If you wish to install
from within jEdit, feel free to :-)