JDK-8215099 : jshell tool: /help representation of ctrl/meta characters inconsistent
Type:Bug
Component:tools
Sub-Component:jshell
Affected Version:12
Priority:P3
Status:Closed
Resolution:Fixed
Submitted:2018-12-09
Updated:2019-01-03
Resolved:2018-12-16
The Version table provides details related to the release that this issue/RFE will be addressed.
Unresolved : Release in which this issue/RFE will be addressed. Resolved: Release in which this issue/RFE has been resolved. Fixed : Release in which this issue/RFE has been fixed. The release containing this fix may be available for download as an Early Access Release or a General Availability Release.
This is a doc-only bug: help text and error messages. So, extremely low risk.
With important clarifications and updates. It should also be sync'ed with the JLine 3 update, that went into JDK 12.
Raising the priority to P3.