in gshell-cli/src/main/java/org/apache/geronimo/gshell/cli/Main.java [161:178]
private void setTerminalType(String type) {
type = type.toLowerCase();
if ("auto".equals(type)) {
type = AutoDetectedTerminal.class.getName();
}
else if ("unix".equals(type)) {
type = UnixTerminal.class.getName();
}
else if ("win".equals(type) || "windows".equals("type")) {
type = WindowsTerminal.class.getName();
}
else if ("false".equals(type) || "off".equals(type) || "none".equals(type)) {
type = UnsupportedTerminal.class.getName();
}
System.setProperty("jline.terminal", type);
}