3637383940414243444546
@Override public void error(String s) throws IOException { Ansi ansi = new Ansi(); ansi.fg(Ansi.Color.RED); println(ansi.render(s).reset().toString()); } @Override public int getWidth() { return console.getTerminalSize().getWidth();
213214215216217218219220221222223
default: return output; } return ansi.render(output).reset().toString(); } @Override public String getCWD() { File directory = new File(".");
10631064106510661067106810691070107110721073
break; default: return output; } return ansi.render(output).reset().toString(); } @Override public void write(final int b) {