Отключить историю JShell

JShell по умолчанию включает постоянную историю всего набранного, которую можно вызвать, нажав стрелку вверх.

Где находится настройка для отключения этой ❝функции❞?

Кроме того, как мне очистить текущую историю? Может я тупой, но я не могу понять команду. /reset похоже ничего не делает.


person Boann    schedule 14.10.2018    source источник
comment
На самом деле не думаю, что для этого еще есть вариант (/help /history тоже не отображает его), учитывая, что /history -all - это то, о чем вы говорите. Возможно, просмотрев github.com/jline/jline2/wiki/Configuration-Properties и использование одного из таких может помочь. Кстати, я добрался туда из статьи Роберта Филда =› cr.openjdk.java.net/~rfield/tutorial/.... и чтобы лучше понять, зачем это делать?   -  person Naman    schedule 15.10.2018
comment
Ну, может быть, отключить такие вещи, как автозаполнение, должно быть хорошо или легко запускаться, например, внутри emacs   -  person anquegi    schedule 08.05.2019


Ответы (1)


Кроме того, как мне очистить текущую историю?

То, что я предлагаю, явно является хаком, но, похоже, он работает, по крайней мере, в Windows 10 с JDK11.0.4:

Запустите редактор реестра и найдите ключ «/J/Shell». После обнаружения (в HKCU и HKUsers) удалите все значения /H/I/S/T/O/R/Y_/L/I/N/E_ в HKUsers. Это исправило это для меня; пока все работает, вроде ничего не сломалось...

person Igor Soudakevitch    schedule 22.09.2019