Как сбросить редактор по умолчанию в jshell, в текущем sessoin?

Question

В текущем сеансе я установил внешний редактор, который я хочу вернуть к стандартному.Итак, как восстановить редактор по умолчанию в jshell, в текущей версии?

EDIT:

Я искал в сети и нашел эту ссылку cr.openjdk.java.net / ~ rfield/tutorial/JShellTutorial.html, который не помог.Я попробовал с DEFAULT в качестве опции (угадывая по строкам сценария запуска по умолчанию), не помогло.

Answer 1

Как сказал @ Андреас .Это написано в документации.

Найдите ниже рабочие шаги (при условии, что вы не использовали переменную среды для изменения редактора по умолчанию)

• установить альтернативный редактор

  jshell> /set editor your-editor
  |  Editor set to: your-editor
  

• введите какой-нибудь фрагмент (только для демонстрации)

  jshell> String foo = "foobar"
  foo ==> "foobar"
  

• отредактируйте фрагмент

  jshell> /edit foo
  

  это откроется your-editor с фрагментом String foo = "foobar";

• установите для редактора значение по умолчанию

  jshell> /set editor -default
  |  Editor set to: -default
  

• редактировать фрагмент

  jshell> /edit foo
  

  это открывает JShell Edit Pad с фрагментом String foo = "foobar";