Add a public way to identify dumb terminals.

jline · Nov 4, 2016 · 380584c · 380584c
1 parent f4cf2a2
commit 380584c
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git 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
@@ -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 {