[jedit:bugs] #4124 jEdit Won't Load when $JAVA_HOME is set
Dale Anson via jEdit-devel <[email protected]>
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | </p/jedit/bugs/4124/7a964be2b740144d7e9bae9d4b9b4623912cc0fe.bugs@jedit.p.sourceforge.net> |
What's in your ~/bin/jedit file? Is that a shell script to start 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 08:03 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