From 4f81cb8c92efdc072cb1460fe0decce75bb44ec9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E3=84=97=E3=84=A0=CB=8B=20=E3=84=91=E3=84=A7=CB=8A?= Date: Sat, 23 May 2020 11:23:27 +0800 Subject: [PATCH] Add history file for terminal --- .../Use-TerminalConsoleAppender-for-console-improvements.patch | 1 + 1 file changed, 1 insertion(+) diff --git a/Spigot-Server-Patches/Use-TerminalConsoleAppender-for-console-improvements.patch b/Spigot-Server-Patches/Use-TerminalConsoleAppender-for-console-improvements.patch index f333ad19c2..bf78f66354 100644 --- a/Spigot-Server-Patches/Use-TerminalConsoleAppender-for-console-improvements.patch +++ b/Spigot-Server-Patches/Use-TerminalConsoleAppender-for-console-improvements.patch @@ -99,6 +99,7 @@ index 0000000000000000000000000000000000000000..00000000000000000000000000000000 + protected LineReader buildReader(LineReaderBuilder builder) { + return super.buildReader(builder + .appName("Paper") ++ .variable(LineReader.HISTORY_FILE, java.nio.file.Paths.get(".console_history")) + .completer(new ConsoleCommandCompleter(this.server)) + ); + }