also patch rustrover's slightly different remote-dev plugin launcher

This commit is contained in:
Jeff Zellner 2024-02-03 10:52:06 -07:00
parent 416cb8f9a9
commit 7d3590b4f8
2 changed files with 4 additions and 4 deletions

View File

@ -69,7 +69,7 @@ with stdenv; lib.makeOverridable mkDerivation (rec {
ln -s ${jdk.home} jbr
if [ -d "plugins/remote-dev-server" ]; then
patch -p1 < ${../patches/jetbrains-remote-dev.patch}
patch -F3 -p1 < ${../patches/jetbrains-remote-dev.patch}
fi
vmopts_file=bin/linux/${vmoptsName}

View File

@ -10,8 +10,8 @@
SELFCONTAINED_LIBS="$REMOTE_DEV_SERVER_DIR/selfcontained/lib"
if [ ! -d "$SELFCONTAINED_LIBS" ]; then
@@ -596,3 +598,5 @@
"$LAUNCHER" "$STARTER_COMMAND" "$@"
fi
fi
"$LAUNCHER" "$STARTER_COMMAND" "$PROJECT_PATH" "$@"
;;
esac
+
+unset REMOTE_DEV_SERVER_USE_SELF_CONTAINED_LIBS