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

Yes, ~/bin/jedit is the application launcher that came with jEdit

#!/bin/sh
#
# Runs jEdit - Programmer's Text Editor.
#

# Find a java installation.
if [ -z "${JAVA_HOME}" ]; then
echo 'Warning: $JAVA_HOME environment variable not set! Consider setting
it.'
echo '         Attempting to locate java...'
j=`which java 2>/dev/null`
if [ -z "$j" ]; then
echo "Failed to locate the java virtual machine! Bailing..."
exit 1
else
echo "Found a virtual machine at: $j..."
JAVA="$j"
fi
else
JAVA="${JAVA_HOME}/bin/java"
fi

# Launch application.

exec "${JAVA}" -Dawt.useSystemAAFontSettings=on -Dswing.aatext=true -jar
"/home/jpolanik/jEdit/5.6.0/jedit.jar" -reuseview "$@"

On Tue, May 2, 2023 at 6:11 PM Dale Anson <[email protected]>
wrote:

> What's in your ~/bin/jedit file? Is that a shell script to start jEdit?
> ------------------------------
>
> * [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 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 you indicated interest in
> https://sourceforge.net/p/jedit/bugs/4124/
>
> To unsubscribe from further messages, please visit
> https://sourceforge.net/auth/subscriptions/
>



---

** [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