String trunc(String input) { if (input.length > stdout.terminalColumns - 32) { return "${input.substring(0, (stdout.terminalColumns / 2).round())}..."; } else return input; }