时间戳

首页 > 解决方案 > JShell 历史存储在哪里？

java - JShell 历史存储在哪里？

问题描述

有人知道 JShell 历史记录存储在哪里（Windows-10 上的 Java-11/Open JDK，但任何配置都可能有用）？我一直在$HOME( $USERPROFILE, $APPDATA, ...) 中环顾四周。它是基于文件的吗？

JShell 是基于 JLine 的，对吗？我确实找到了$JAVA_HOME\legal\jdk.internal.le\jline.md。

标签： javajshell

解决方案

JShell 使用PreferencesStorage，它的实现PersistentStorage由java.util.prefs.Preferences对象支持。这意味着历史以二进制形式存储，位置取决于操作系统。例如，在 macOS 上，您会在~/Library/Preferences/com.apple.java.util.prefs.plist.

推荐阅读