-
Type:
Bug
-
Resolution: Fixed
-
Priority:
P4
-
Affects Version/s: 9
-
Component/s: tools
-
b97
-
Verified
Make user experience and corresponding code more regular.
Parameters will then be --
/save [all|start|history] file
/list [all|start|history|<name>|<id>]
/edit [<name>|<id>]
/drop <name>|<id>
In all cases active non-start-up names will have precedence.
Parameters will then be --
/save [all|start|history] file
/list [all|start|history|<name>|<id>]
/edit [<name>|<id>]
/drop <name>|<id>
In all cases active non-start-up names will have precedence.
- relates to
-
JDK-8140265 jshell tool: /save saves rejected input
-
- Closed
-