有没有人知道JShell历史记录存储在哪里(Java-11/Windows10上的Open JDK,但任何配置都可能有用)?我已经在$HOME
($USERPROFILE
,$APPDATA
,...)上找过了。它是基于文件的吗?
JShell是基于JLine的,对吧?我确实找到了$JAVA_HOME\legal\jdk.internal.le\jline.md
。
发布于 2020-07-22 13:07:19
在Windows上,历史记录存储在注册表中,可以使用regedit打开注册表。路径为HKEY_CURRENT_USER\Software\JavaSoft\Prefs\tool\/J/Shell
发布于 2019-06-09 22:46:28
JShell使用PreferencesStorage
,这是一个由java.util.prefs.Preferences
对象支持的PersistentStorage
实现。这意味着历史以二进制形式存储,位置取决于操作系统。例如,在macOS上,您可以在~/Library/Preferences/com.apple.java.util.prefs.plist
中找到历史记录(同样是二进制形式)。
https://stackoverflow.com/questions/54908994
复制相似问题