sanatize out java tool options

This commit is contained in:
2026-06-02 13:10:29 +02:00
parent f6b7669798
commit c6c385c756

View File

@@ -96,6 +96,10 @@ public final class ShellSession implements AutoCloseable {
// These are jprototerm's own runtime settings, not the user's shell environment. // These are jprototerm's own runtime settings, not the user's shell environment.
environment.remove("GDK_BACKEND"); environment.remove("GDK_BACKEND");
environment.remove("JLIBGHOSTTY_LIBRARY"); environment.remove("JLIBGHOSTTY_LIBRARY");
// The wrapper exports this to point our own JVM at its CDS archive; left in place it
// would make unrelated java/gradle invocations inside the terminal load jprototerm's
// archive (and print the "Picked up JAVA_TOOL_OPTIONS" banner).
environment.remove("JAVA_TOOL_OPTIONS");
} }
public void startReading(TerminalPane pane) { public void startReading(TerminalPane pane) {