From f82607ccb10a9bac8d9b275b1abc3dda810dabad Mon Sep 17 00:00:00 2001 From: Alexander Light Date: Sun, 9 Nov 2014 20:42:36 -0500 Subject: [PATCH] tidy: Make errors be printed in red and underlined --- src/etc/tidy.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/etc/tidy.py b/src/etc/tidy.py index 3d44c27a16e6f..22053e974d36a 100644 --- a/src/etc/tidy.py +++ b/src/etc/tidy.py @@ -28,7 +28,7 @@ def report_error_name_no(name, no, s): global err - print("%s:%d: %s" % (name, no, s)) + print("\033[4;31m%s:%d: %s\033[0m" % (name, no, s)) err=1 def report_err(s):