§
Coloring
cat
output with
supercat
use
spc -e 'error, red'
to color all occurrences of string
error
with
red
.
I use this in
lean-mlir
to get colored output.