Bug#582036: jEdit should auto-load system plugins from /usr/share/jedit/jars

[Damien Raude-Morvan]

Package: jedit
Version: 4.3.1+dfsg-1
Severity: wishlist

Hi,

>From my understanding, jEdit system global plugins are expected to be in
/usr/share/jedit/jars/.

It would be great if debian jedit package auto-load plugins from here and if
you provide a jedit-plugins package with some commons ones like
Console [1], ErrorLists [2] or SVNPlugin.

[1] http://plugins.jedit.org/plugins/?Console
[2] http://plugins.jedit.org/plugins/?ErrorList
[3] http://plugins.jedit.org/plugins/?SVNPlugin

Cheers,

-- System Information:
Debian Release: squeeze/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (200, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 2.6.32-5-amd64 (SMP w/4 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages jedit depends on:
ii  java-wrappers                 0.1.16     wrappers for java executables
ii  openjdk-6-jre                 6b18-1.8-2 OpenJDK Java runtime, using Hotspo
ii  sun-java6-jre                 6.20-dlj-1 Sun Java(TM) Runtime Environment (

jedit recommends no packages.

jedit suggests no packages.

-- no debconf information