禁用JShell历史记录

7

JShell默认启用一个持久的历史记录,可以通过按向上箭头召回输入的所有内容。

在哪里可以关闭这个“功能”?

此外,如何清除当前的历史记录?也许我很蠢,但我无法找到命令。/reset似乎没有任何作用。


真的不认为有这样的选项(/help /history也没有显示),考虑到你所指的是 /history -all。可能研究一下 https://github.com/jline/jline2/wiki/Configuration-Properties 并利用其中之一会有所帮助。顺便说一句,我是从 Robert Field 的文章中到达那里的 => http://cr.openjdk.java.net/~rfield/tutorial/JShellTutorial.html#search-and-more.... 为了更好地理解,那样做的必要性是什么? - Naman
也许禁用自动完成之类的功能,应该很好或很容易在例如emacs中运行。 - anquegi
1个回答

3
此外,我该如何清除当前历史记录?
我提出的方法显然是一种破解方式,但至少在Windows 10和JDK11.0.4上似乎有效:
运行注册表编辑器并搜索“/J/Shell”键。一旦找到(在HKCU和HKUsers下),请删除HKUsers下所有的/H/I/S/T/O/R/Y_/L/I/N/E_值。这样就解决了我的问题;到目前为止,这个麻烦的东西工作正常,没有看起来有损坏的地方...

网页内容由stack overflow 提供, 点击上面的
可以查看英文原文,
原文链接