Community Packages

Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines

Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.

REPEAT: Do NOT report bugs for outdated packages!
Tasklist

FS#26633 - Jedit launch fails with java 7 even though it is an optional dependency

Attached to Project: Community Packages
Opened by Richard Jones (optigon) - Wednesday, 26 October 2011, 16:23 GMT
Last edited by Alexander F. Rødseth (xyproto) - Thursday, 27 October 2011, 16:12 GMT
Task Type Support Request
Category Packages
Status Closed
Assigned To Alexander F. Rødseth (xyproto)
Architecture x86_64
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

Details

Description:Jedit lauch fails with java-7 even though it is an optional dependency. Launch script at /usr/bin/jedit is hard coded to use java-6. Perhaps it could search for any java > 6?


Additional info:
* package version(s) - jedit 4.4.2-1
* config and/or log files etc.


Steps to reproduce: Uninstall Java. Install jedit package with Java-7. Attempt to launch using <jedit> from terminal.
This task depends upon

Closed by  Alexander F. Rødseth (xyproto)
Thursday, 27 October 2011, 16:12 GMT
Reason for closing:  Fixed
Additional comments about closing:  Please reopen if there are further issues.
Comment by Alexander F. Rødseth (xyproto) - Thursday, 27 October 2011, 09:29 GMT
Hi, it's only the default value that is hard coded in the shell script for jedit, it checks for the value of JAVA_HOME, which should be correctly set by the java installation.
After installing java, remember to source the correct file from /etc/profile.d (ie source /etc/profile.d/openjdk6.sh for openjdk 6), or log out and in again.

Incidentally, I see that the script incorrectly expects JAVA_HOME to include "/jre" in the path, which I'll fix. I'll test with both openjdk 6 and openjdk 7.
Comment by Alexander F. Rødseth (xyproto) - Thursday, 27 October 2011, 11:08 GMT
Hi,

I removed the concept of JAVA_HOME and DEFAULT_JAVA_HOME from the script, as it's not needed (just running "java" works fine).
I checked that jedit now works "out of the box" with openjdk6 and openjdk7.

Hope this resolves the issue. The package should be updated in community within an hour or so.

Loading...