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

I dont have Ubuntu 22, but in Ubuntu 20 it works as deployed.  I will
verify when I get to work.

JAVA_HOME should be the jdk-19 folder, and not the jdk-19/bin or
jdk-19/bin/java as it appears to be here.
Of course in Ubuntu theres a layer of indirection with the debian
application symlinks.
OR the jdk19 install did something different?  It would not surprise me if
Oracle changed a 30yo directory layout just to jerk with everyone.

How did you install the jdk?


On Tue, May 2, 2023 at 6:30 PM ScreenName via jEdit-devel <
[email protected]> wrote:

> Okay, thanks for drawing my attention to the application launcher, Dale.
>
> The problem goes away when I replaced the original line
>
> JAVA="${JAVA_HOME}/bin/java"
>
> with
>
> JAVA="${JAVA_HOME}"
>
> ------------------------------
>
> * [bugs:#4124] <https://sourceforge.net/p/jedit/bugs/4124/> jEdit Won't
> Load when $JAVA_HOME is set*
>
> *Status:* open
> *Group:* normal bug
> *Created:* Tue May 02, 2023 08:03 PM UTC by ScreenName
> *Last Updated:* Tue May 02, 2023 10:35 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
>



---

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

**Status:** open
**Group:** normal bug
**Created:** Tue May 02, 2023 08:03 PM UTC by ScreenName
**Last Updated:** Tue May 02, 2023 10:35 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