有人知道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
。
答案 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
中找到历史记录(再次以二进制形式)。