Description:

Hi,

As it is today, the $JAVA_HOME environment variable is pointed to the jre directory. This is fine when someone just installs the jre package. But if you install the jdk, this variable is very important for lots of java development tools, so it should point to the jdk directory. Nevertheless, as the jre.sh script in /etc/profile.d is executed after the jdk.sh (probably because of the ordering of the names), this variable is allways reset by jre.sh, even if we changed jdk.sh to configure that variable.

So, it would be very good if the jre.sh script was smart enough to set $JAVA_HOME to the jdk directory in case the jdk package was installed. Maybe it could check the existence of $J2SDKDIR that is set up by jdk.sh.

A possible solution could be:

---8<----- /etc/profile.d/jre.sh ---- 8<----
if [ -z $J2SDKDIR ] ; then
export J2REDIR=/opt/java/jre
export PATH=$PATH:$J2REDIR/bin
export CLASSPATH=$CLASSPATH:$J2REDIR/lib
else
export J2REDIR=$J2SDKDIR
fi
export JAVA_HOME=$J2REDIR
---8<----- /etc/profile.d/jre.sh ---- 8<----

So it checks to see if $J2SDKDIR is set before setting the jre specific variables. Otherwise, it points $J2REDIR to $J2SDKDIR and points $JAVA_HOME allways to the right place.