JShell历史记录存储在哪里?

时间:2019-02-27 15:31:46

标签: java jshell

有人知道JShell历史记录的存储位置吗(在Windows-10上是Java-11 / Open JDK,但是任何配置都可能有用)?我一直在swal({ title: "Etes vous sur", text: "Vous êtes sur le point de recharger tous les données de la base. Continuer ?", type: "warning", showCancelButton: true, confirmButtonColor: '#3085d6', confirmButtonText: "Oui", cancelButtonText: "Non", cancelButtonColor: '#d33', closeOnConfirm: true }).then( function(result) { if(result.value){ console.log("Appel de la méthode LoadData"); $('#adminButton').button('loading'); $.ajax({ url: '/Home/LoadDatainShowIndex', type: 'GET', dataType: 'json', success: function (result) { if (result === "True") { console.log(1); // $('#adminButton').button('reset'); Swal({ title: "Succès !", type: 'success', showCancelButton: false, confirmButtonClass: "btn-success", confirmButtonText: "OK", closeOnConfirm: true }); console.log(2); } }, error: function(x, y, z) { $('#adminButton').button('reset'); console.log(3); SendMessageToUser('Chargement des données depuis Excel', 'erreur'); } }); } } ); $HOME$USERPROFILE,...)四处张望。它是基于文件的吗?

JShell是基于JLine的,对吗?我确实找到了$APPDATA

2 个答案:

答案 0 :(得分:3)

在Windows上,历史记录存储在注册表中,可以使用regedit打开。路径为HKEY_CURRENT_USER\Software\JavaSoft\Prefs\tool\/J/Shell

答案 1 :(得分:0)

JShell使用PreferencesStorage,这是PersistentStorage对象支持的java.util.prefs.Preferences的实现。这意味着历史记录以二进制形式存储,并且位置取决于操作系统。例如,在macOS上,您会在~/LIbrary/Preferences/com.apple.java.util.prefs.plist中找到历史记录(再次以二进制形式)。