scratch

§ Coloring cat Output With supercat

created 2021-12-26
  • use spc -e 'error, red' to color all occurrences of string error with red.
  • I use this in lean-mlir to get colored output.
❦
Newer ৪ Blog ৪ Older