Streamlined format

[jglick]

lib-support-log-formatter/src/main/java/io/jenkins/lib/support_log_formatter/SupportLogFormatter.java

Line 47 in 6599491

SimpleDateFormat f = new SimpleDateFormat("yyyy-MM-dd HH:mm:ss.SSSZ");

is too verbose (+0000). Prefer

DateTimeFormatter.ISO_INSTANT.format(Instant.now().truncatedTo(ChronoUnit.MILLIS))

lib-support-log-formatter/src/main/java/io/jenkins/lib/support_log_formatter/SupportLogFormatter.java

Line 64 in 6599491

builder.append(" [id=").append(record.getThreadID()).append("]");

is not obviously about threads. Use an emoji instead? 🧵 for example.

lib-support-log-formatter/src/main/java/io/jenkins/lib/support_log_formatter/SupportLogFormatter.java

Line 66 in 6599491

builder.append("\t").append(record.getLevel().getName()).append("\t");

could also be streamlined to use ℹ️ or ⚠️ etc.

[daniel-beck]

Can we rely on everything that is used to view log files to support emojis without screwing them up?

[jglick]

Perhaps not, but an ASCII-only mode could be selected with an environment variable or something.