jetbrains.*: fix build for most IDEs with plugins

This commit is contained in:
GenericNerdyUsername 2023-07-20 14:44:20 +01:00
parent ea023517b7
commit c9fbb6fe87
No known key found for this signature in database
GPG Key ID: 65BA194581245B15

View File

@ -117,7 +117,9 @@ rec {
do
ln -s "$plugin" -t $out/${meta.mainProgram}/plugins/
done
sed "s|${ide.outPath}|$out|" -i $out/bin/${meta.mainProgram}
sed "s|${ide.outPath}|$out|" \
-i $(realpath $out/bin/${meta.mainProgram}) \
-i $(realpath $out/bin/${meta.mainProgram}-remote-dev-server)
autoPatchelf $out/${meta.mainProgram}/bin
'' + (extraBuildPhase."${ide.meta.mainProgram}" or "");
};