Getting stderr in a different colour
This is the idea. Look at the posts in the thread called “coloring STDERR to terminal” here. Actually, Spliterr, linked to in the first one, doesn’t seem to be working… it prints all the stderr, then all the stdout, then crashes.