Warning: file_get_contents(/data/phpspider/zhask/data//catemap/9/java/380.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181

Warning: file_get_contents(/data/phpspider/zhask/data//catemap/0/amazon-s3/2.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Java JShell历史记录存储在哪里?_Java_Jshell - Fatal编程技术网

Java JShell历史记录存储在哪里?

Java JShell历史记录存储在哪里?,java,jshell,Java,Jshell,有人知道JShell历史记录存储在哪里吗(Windows-10上的Java-11/OpenJDK,但任何配置都可能有用)?我一直在$HOME($USERPROFILE,$APPDATA,…)中四处寻找。它是基于文件的吗 JShell是基于JLine的,对吗?我确实发现了$JAVA\u HOME\legal\jdk.internal.le\jline.md

有人知道JShell历史记录存储在哪里吗(Windows-10上的Java-11/OpenJDK,但任何配置都可能有用)?我一直在
$HOME
$USERPROFILE
$APPDATA
,…)中四处寻找。它是基于文件的吗


JShell是基于JLine的,对吗?我确实发现了
$JAVA\u HOME\legal\jdk.internal.le\jline.md

首选项存储,这是一个
持久存储
的实现,由
JAVA.util.prefs.Preferences
对象支持。这意味着历史以二进制形式存储,位置取决于操作系统。例如,在macOS上,您可以在
~/Library/Preferences/com.apple.java.util.prefs.plist

中找到历史记录(同样是二进制形式)。在Windows上,历史记录存储在注册表中,可以使用regedit打开。路径为
HKEY\u CURRENT\u USER\Software\JavaSoft\Prefs\tool\/J/Shell