[jedit:bugs] Re: #4124 jEdit Won't Load when $JAVA_HOME is set

Joe,

There is a certain amount of indirection here.

which java returns  /usr/bin/java which is a link to /etc/alternatives/javawhich is a link to /usr/lib/jvm/java-19-openjdk-amd64/bin/java.

    Once I set JAVA_HOME to /usr/lib/jvm/java-19-openjdk-amd64, the original launcher script works as expected.
    
    Regards,
    



---

** [bugs:#4124] jEdit Won't Load when $JAVA_HOME is set**

**Status:** closed
**Group:** normal bug
**Created:** Tue May 02, 2023 08:03 PM UTC by ScreenName
**Last Updated:** Wed May 03, 2023 05:11 PM UTC
**Owner:** nobody


When $JAVA_HOME is defined in .bashrc

jpolanik@Jill:~/Documents/myRaku/PDF_Tool$ which java
/usr/bin/java

jpolanik@Jill:~$ echo $JAVA_HOME
/usr/bin/java

jpolanik@Jill:~$ jedit
/home/jpolanik/bin/jedit: 24: exec: /usr/bin/java/bin/java: not found

jEdit does not load at all


When $JAVA_HOME is not defined in .bashrc

jpolanik@Jill:~$ echo $JAVA_HOME

jpolanik@Jill:~$ jedit
Warning: $JAVA_HOME environment variable not set! Consider setting it.
         Attempting to locate java...
Found a virtual machine at: /usr/bin/java...

jEdit loads and appears to run as expected; but, without $JAVA_HOME other java apps may have a problem.

I'm running Ubuntu 22.04.2 LTS on an Intel processor, with:
openjdk version "19.0.2" 2023-01-17
OpenJDK Runtime Environment (build 19.0.2+7-Ubuntu-0ubuntu322.04)

Joseph Polanik


---

Sent from sourceforge.net because [email protected] is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

-- 
-----------------------------------------------
jEdit Developers' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-devel