Add history file for terminal

This commit is contained in:
ㄗㄠˋ ㄑㄧˊ
2020-05-23 11:23:27 +08:00
parent d18935ed70
commit 4f81cb8c92

View File

@@ -99,6 +99,7 @@ index 0000000000000000000000000000000000000000..00000000000000000000000000000000
+ protected LineReader buildReader(LineReaderBuilder builder) { + protected LineReader buildReader(LineReaderBuilder builder) {
+ return super.buildReader(builder + return super.buildReader(builder
+ .appName("Paper") + .appName("Paper")
+ .variable(LineReader.HISTORY_FILE, java.nio.file.Paths.get(".console_history"))
+ .completer(new ConsoleCommandCompleter(this.server)) + .completer(new ConsoleCommandCompleter(this.server))
+ ); + );
+ } + }