Your message dated Fri, 21 May 2010 00:40:06 +0200
with message-id <[email protected]>
and subject line Re: Bug#582034: jedit: jEdit fails when trying to install
plugins in /usr
has caused the Debian Bug report #582034,
regarding jedit: jEdit fails when trying to install plugins in /usr
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
582034: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=582034
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
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
--- End Message ---
--- Begin Message ---
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
On 05/17/2010 09:51 PM, Damien Raude-Morvan wrote:
> ----- Expected behavior :
> jEdit Debian package should force user to install plugins
> in its $HOME directory (remove choice from Global options ?).
Default already is "jEdit settings directory" which is under $HOME/.jedit.
If anyone wanted to install system-wide plugins, he/she would have to
became superuser, then select "jEdit application directory" and install
them.
I'll close this and I'll keep open the wishlist bug you filed [1] about
also packaging plugins. If I/anyone did it, it would make sense
remove/disable that choice.
Thanks,
Gabriele
[1] http://bugs.debian.org/582036
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkv1uj8ACgkQp3cdCbVcnCtkhgCfXNbpQTztlScU1+diXKvCaoMA
FXMAoMLpl1bqekU1eQ4JBdBzatnYZybs
=q0Ct
-----END PGP SIGNATURE-----
--- End Message ---
