Merge pull request #7420 from hvesalai/dumb-terminal-keybindings

Temporary fix for #7371
This commit is contained in:
eugene yokota 2023-11-02 11:59:52 -04:00 committed by GitHub
commit edc10297b0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 0 deletions

View File

@ -110,6 +110,11 @@ object LineReader {
override def readLine(prompt: String, mask: Option[Char]): Option[String] = {
val term = JLine3(terminal)
val reader = LineReaderBuilder.builder().terminal(term).completer(completer(parser)).build()
if (Util.isEmacs) {
reader.setKeyMap(JLineReader.SAFE)
}
try {
inputrcFileContents.foreach { bytes =>
InputRC.configure(