JShell 歷史記錄存儲在哪里？

Question

有誰知道 JShell 歷史記錄存儲在哪里（Windows-10 上的 Java-11/Open JDK，但任何配置都可能有用）？ 我一直在$HOME ( $USERPROFILE , $APPDATA , ...) 中四處尋找。 它是基於文件的嗎？

JShell 是基於 JLine 的，對吧？ 我確實找到了$JAVA_HOME\\legal\\jdk.internal.le\\jline.md 。

Answer 1

JShell 使用PreferencesStorage ，這是由java.util.prefs.Preferences對象支持的PersistentStorage的實現。 這意味着歷史記錄以二進制形式存儲，位置取決於操作系統。 例如，在 macOS 上，您將在~/Library/Preferences/com.apple.java.util.prefs.plist找到歷史記錄（再次以二進制形式）。

Answer 2

在 Windows 上，歷史記錄存儲在注冊表中，可以使用 regedit 打開。 路徑是HKEY_CURRENT_USER\\Software\\JavaSoft\\Prefs\\tool\\/J/Shell