nixpkgs/pkgs/applications/editors/jetbrains/JetbrainsRemoteDev.patch
Oscar Molnar 4d0d2601a6 jetbrains: fix remote dev server for IDEs
Adds the necessary patch to fix the remote dev server in the Jetbrains IDEs ( see #153335 ).
2023-07-16 16:11:47 +01:00

18 lines
529 B
Diff

--- a/plugins/remote-dev-server/bin/launcher.sh
+++ b/plugins/remote-dev-server/bin/launcher.sh
@@ -327,6 +327,8 @@
REMOTE_DEV_SERVER_USE_SELF_CONTAINED_LIBS=1
fi
+REMOTE_DEV_SERVER_USE_SELF_CONTAINED_LIBS=0
+
if [ $REMOTE_DEV_SERVER_USE_SELF_CONTAINED_LIBS -eq 1 ]; then
SELFCONTAINED_LIBS="$REMOTE_DEV_SERVER_DIR/selfcontained/lib"
if [ ! -d "$SELFCONTAINED_LIBS" ]; then
@@ -568,3 +570,5 @@
"$LAUNCHER" "$STARTER_COMMAND" "$PROJECT_PATH" "$@"
;;
esac
+
+unset REMOTE_DEV_SERVER_USE_SELF_CONTAINED_LIBS