Skip to content

Commit a0c3203

Browse files
committed
Fail early if not able to create a terminal
1 parent de2a214 commit a0c3203

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

compiler/src/dotty/tools/repl/JLineTerminal.scala

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,9 @@ final class JLineTerminal extends java.io.Closeable {
1818
// import java.util.logging.{Logger, Level}
1919
// Logger.getLogger("org.jline").setLevel(Level.FINEST)
2020

21-
private val terminal = TerminalBuilder.terminal()
21+
private val terminal = TerminalBuilder.builder()
22+
.dumb(false) // fail early if not able to create a terminal
23+
.build()
2224
private val history = new DefaultHistory
2325

2426
private def blue(str: String) = Console.BLUE + str + Console.RESET

0 commit comments

Comments
 (0)