Merge pull request #106065 from bjpbakker/minecraft-fix-java_home

minecraft: fix JAVA_HOME
This commit is contained in:
Carles Pagès 2020-12-10 23:51:34 +01:00 committed by GitHub
commit 219301713a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

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[@]}"
'';