Re: jetbrains-jdk-bin: add profile script to set 'IDEA_JDK'

[andrasi-istvan <andrasi-istvan@users.noreply.github.com>]

[-- Attachment #1: Type: text/plain, Size: 1180 bytes --]

New comment by andrasi-istvan on void-packages repository

https://github.com/void-linux/void-packages/pull/20175#issuecomment-601089446

Comment:
Hi!

Thanks for pointing that out.  This package however is a JDK, not an IDE, so let me explain the whole situation.

In order to run a JetBrains IDE, I need a JDK. I for example installed both `openjdk8` and `openjdk11`. The JDK packages install profile scripts:
~~~
> cat /etc/profile.d/10_openjdk11.sh
export JAVA_HOME=${JAVA_HOME=/usr/lib/jvm/openjdk11}
> cat /etc/profile.d/10_openjdk8.sh
export JAVA_HOME=${JAVA_HOME=/usr/lib/jvm/java-1.8-openjdk}
~~~
Note that `10_openjdk8.sh` will override `10_openjdk11`, and IDEA picks up `JAVA_HOME`:
~~~
> cat ./bin/idea.sh
[...]
# Locate a JDK installation directory command -v will be used to run the IDE.
# Try (in order): IDEA_JDK, idea.jdk, ./jbr, ./jre64, JDK_HOME, JAVA_HOME, "java" in PATH.
[...]
~~~

As this package is also a JDK, I followed the same pattern, but instead of `JAVA_HOME` I choose `IDEA_JDK`, because I think most people would installs this package, expects the JetBrains JDK to be use by the IDEs, but not expect every java tool to use it