-
Bug
-
Resolution: Fixed
-
P4
-
9
-
b110
-
Verified
8148316: jshell tool: Configurable output format
Will introduce the /set command.
Existing commands that set should be unified into it:
/seteditor
/feedback
/prompt
/setstart
and maybe /classpath
Can't be done until the /help <command> fix is committed since the overlap is too big
Will introduce the /set command.
Existing commands that set should be unified into it:
/seteditor
/feedback
/prompt
/setstart
and maybe /classpath
Can't be done until the /help <command> fix is committed since the overlap is too big
- duplicates
-
JDK-8143957 JShell tool: set desired prompts with /prompt
-
- Closed
-
- is blocked by
-
-
- Closed
-
-
-
- Closed
-