Skip to content

Conversation

@gnodet
Copy link
Member

@gnodet gnodet commented Oct 7, 2025

Backport

This will backport the following commits from master to jline-3.x:

Questions ?

Please refer to the Backport tool documentation

…1413)

Attempted to set the line reader option DISABLE_EVENT_EXPANSION by
setting the java system property
`-Dorg.jline.reader.props.disable-event-expansion=on` and it did not
work.  The code for processing this option is comparing the enum name
to the system property value when it should be looking at the key.

(cherry picked from commit 1cf79bb)
@gnodet gnodet added the backport label Oct 7, 2025
@gnodet gnodet changed the title [{targetBranch}] {commitMessages} [jline-3.x] fix: setting line reader options via system properties does not work (#1413) Oct 7, 2025
@gnodet gnodet added the bug label Oct 7, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants