Cannot confirm (Ubuntu 8.04, sun-java6 installed),
Are you sure that you are really using the jedit from the Ubuntu
repository?
If you downloaded and installed jedit from the jedit website, that
version requires the $JAVA_HOME environment variable to be set and
assumes the 1.6.0.03 directory if it is not set.
The start script of Ubuntu's jedit does not assume any default jre
directory and should even work when $JAVA_HOME is not set.
To check which version you are using, you can type "which jedit" into a
terminal. If you get /usr/local/bin/jedit, then you are using the
upstream version. If you get /usr/bin/jedit, you are using the Ubuntu
version.
To uninstall the upstream version, just delete all program files, in default
installation these are:
/usr/local/share/jedit
/usr/local/man/man1/jedit.1
/usr/local/bin/jedit
(Settings and plugins are stored in ~/.jedit/ and will be kept)
** Changed in: jedit (Ubuntu)
Status: New => Incomplete
--
jEdit doesn't find installed JRE
https://bugs.launchpad.net/bugs/222292
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
