diff --git a/src/main/java/org/jline/terminal/Terminal.java b/src/main/java/org/jline/terminal/Terminal.java index d53d447c7..5a51b6e93 100644 --- a/src/main/java/org/jline/terminal/Terminal.java +++ b/src/main/java/org/jline/terminal/Terminal.java @@ -26,6 +26,11 @@ */ public interface Terminal extends Closeable, Flushable { + /** + * Type used for dumb terminals. + */ + String TYPE_DUMB = "dumb"; + String getName(); // diff --git a/src/main/java/org/jline/terminal/impl/DumbTerminal.java b/src/main/java/org/jline/terminal/impl/DumbTerminal.java index e2354e5ec..b84db7238 100644 --- a/src/main/java/org/jline/terminal/impl/DumbTerminal.java +++ b/src/main/java/org/jline/terminal/impl/DumbTerminal.java @@ -33,7 +33,7 @@ public class DumbTerminal extends AbstractTerminal { private final Size size; public DumbTerminal(InputStream in, OutputStream out) throws IOException { - this("dumb", "ansi", in, out, Charset.defaultCharset().name()); + this(TYPE_DUMB, "ansi", in, out, Charset.defaultCharset().name()); } public DumbTerminal(String name, String type, InputStream in, OutputStream out, String encoding) throws IOException {