minecraft: fix JAVA_HOME

JAVA_HOME should point to the root directory of the JRE, not the `bin` folder.
This commit is contained in:
Bart Bakker 2020-12-06 14:43:09 +01:00
parent 336fd62920
commit 0451efc553
No known key found for this signature in database
GPG key ID: 8BC1D8F4C6C7B548

View file

@ -138,7 +138,7 @@ stdenv.mkDerivation rec {
makeWrapper $out/opt/minecraft-launcher/minecraft-launcher $out/bin/minecraft-launcher \
--prefix LD_LIBRARY_PATH : ${envLibPath} \
--prefix PATH : ${stdenv.lib.makeBinPath [ jre ]} \
--set JAVA_HOME ${stdenv.lib.makeBinPath [ jre ]} \
--set JAVA_HOME ${stdenv.lib.getBin jre} \
--run "cd /tmp" \
"''${gappsWrapperArgs[@]}"
'';