Где хранится история JShell?

Question

Где хранится история JShell?

Кто-нибудь знает, где хранится история JShell (Java-11/Open JDK в Windows-10, но любая конфигурация может быть полезной)? Я искал в $HOME ($USERPROFILE, $APPDATA...). Это на основе файлов? JShell основан на JLine, верно? Я действительно нашел $JAVA_HOME\legal\jdk.internal.le\jline.md

Спасибо!

5

java jshell

Источник

user184199 27 фев '19 в 15:31

0 ответов

Другие вопросы по тегам java jshell

user458561 22 июл '20 в 08:07 2020-07-22 08:07 · Answer 1 · 2020-07-22 08:07

В Windows история хранится в реестре, который можно открыть с помощью regedit. ПутьHKEY_CURRENT_USER\Software\JavaSoft\Prefs\tool\/J/Shell

4

Источник

user458561 22 июл '20 в 08:07

user368220 09 июн '19 в 17:46 2019-06-09 17:46 · Answer 2 · 2019-06-09 17:46

JShell использует PreferencesStorage, реализация PersistentStorage что поддерживается java.util.prefs.Preferences объект. Это означает, что история хранится в двоичном виде, а местоположение зависит от операционной системы. Например, в macOS вы найдете историю (опять же, в двоичном виде) в ~/LIbrary/Preferences/com.apple.java.util.prefs.plist,