jetbrains.*: allow overriding of the vmopts file

This commit is contained in:
GenericNerdyUsername 2023-08-01 18:40:49 +01:00
parent 82b98eb23f
commit 1b11184175
No known key found for this signature in database
GPG Key ID: 65BA194581245B15

View File

@ -115,8 +115,8 @@ with stdenv; lib.makeOverridable mkDerivation (rec {
--set-default ANDROID_JAVA_HOME "$jdk" \
--set-default JAVA_HOME "$jdk" \
--set-default JETBRAINSCLIENT_JDK "$jdk" \
--set ${hiName}_JDK "$jdk" \
--set ${hiName}_VM_OPTIONS ${vmoptsFile}
--set-default ${hiName}_JDK "$jdk" \
--set-default ${hiName}_VM_OPTIONS ${vmoptsFile}
ln -s "$out/$pname/bin/${loName}.sh" $out/bin/$pname
echo -e '#!/usr/bin/env bash\n'"$out/$pname/bin/remote-dev-server.sh"' "$@"' > $out/$pname/bin/remote-dev-server-wrapped.sh