Richard Feldman (Dec 16 2023 at 02:38): Richard Feldman (Dec 16 2023 at 02:38):I just played around with this and thought I'd share (only the first line is different) - anyone have any thoughts/preferences on this?
Screenshot-2023-12-15-at-9.29.55-PM.png
Screenshot-2023-12-15-at-9.37.24-PM.png
Luke Boswell (Dec 16 2023 at 02:39):I prefer all caps I think.
Agus Zubiaga (Dec 16 2023 at 04:23):Yeah, all caps makes it stand out.
Separately, it would be nice if the file name on the right also included the line number (speared by a colon). That way, if you’re using an editor’s terminal, you can just click to go to the line with the error.
Last updated: Jun 16 2026 at 16:19 UTC