From b6f8e333112350da0f2a5254942e3d69b89d0f08 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Jos=C3=A9=20Fonseca?= <jose.r.fonseca@gmail.com>
Date: Sat, 20 Aug 2011 13:53:15 +0100
Subject: [PATCH] No need to strip ANSI escapes.

Just disable them.
---
 scripts/tracediff.sh | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/scripts/tracediff.sh b/scripts/tracediff.sh
index 0d01ae0..4449d75 100755
--- a/scripts/tracediff.sh
+++ b/scripts/tracediff.sh
@@ -31,10 +31,8 @@ TRACEDUMP=${TRACEDUMP:-`dirname "$0"`/../tracedump}
 $TRACEDUMP
 
 stripdump () {
-    # http://www.theeggeadventure.com/wikimedia/index.php/Linux_Tips#Use_sed_to_remove_ANSI_colors
-    $TRACEDUMP "$1" \
+    $TRACEDUMP --no-color "$1" \
     | sed \
-        -e 's/\x1b\[[0-9]\{1,2\}\(;[0-9]\{1,2\}\)\{0,2\}m//g' \
         -e 's/\r$//g' \
         -e 's/^[0-9]\+ //' \
         -e 's/hdc = \w\+/hdc/g' \
-- 
2.43.0