mucommander: use latest JDK

Upstream recommends using JRE 17.

(cherry picked from commit bfd0306a32)
This commit is contained in:
Robert Schütz
2022-11-25 17:11:13 -08:00
committed by Robert Schütz
parent 82b65fb866
commit 127846808d

View File

@@ -5,7 +5,7 @@
, perl
, makeWrapper
, writeText
, jdk11
, jdk
, gsettings-desktop-schemas
}:
@@ -96,7 +96,7 @@ stdenv.mkDerivation rec {
makeWrapper $out/share/mucommander/mucommander.sh $out/bin/mucommander \
--prefix XDG_DATA_DIRS : ${gsettings-desktop-schemas}/share/gsettings-schemas/${gsettings-desktop-schemas.name} \
--set JAVA_HOME ${jdk11}
--set JAVA_HOME ${jdk}
'';
meta = with lib; {