Add the provider name in the example

jline · Dec 22, 2023 · 4ccf282 · 4ccf282
1 parent 32d2af1
commit 4ccf282
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/builtins/src/test/java/org/jline/example/Example.java b/builtins/src/test/java/org/jline/example/Example.java
@@ -33,6 +33,7 @@
 import org.jline.reader.impl.completer.ArgumentCompleter;
 import org.jline.reader.impl.completer.StringsCompleter;
 import org.jline.terminal.*;
+import org.jline.terminal.spi.TerminalExt;
 import org.jline.utils.*;
 import org.jline.utils.InfoCmp.Capability;
 
@@ -381,7 +382,8 @@ public void complete(
             }
 
             Terminal terminal = builder.build();
-            System.out.println(terminal.getName() + ": " + terminal.getType());
+            System.out.println(terminal.getName() + ": " + terminal.getType() + ", provider="
+                    + ((TerminalExt) terminal).getProvider().name());
             System.out.println("\nhelp: list available commands");
             LineReader reader = LineReaderBuilder.builder()
                     .terminal(terminal)