Package: jedit Version: 4.3.1+dfsg-1 Severity: normal Hi,
When trying to install global system plugin in jEdit, I got : => java.io.FileNotFoundException: /usr/share/jedit/jars/Console.jar (No such file or directory) ---- Steps to reproduce : #1 Activate "global system plugin" mode by : Utilities > Global options > Plugin Manager => Option "Install plugins in... jEdit application directory" #2 Go to : Plugin > Plugin Manager Install tab Check a plugin and then click in Install button ----- Expected behavior : jEdit Debian package should force user to install plugins in its $HOME directory (remove choice from Global options ?). 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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
