No need to strip ANSI escapes.

Just disable them.

diff --git a/scripts/tracediff.sh b/scripts/tracediff.sh
index 0d01ae085d65c9554a54c2794e15da3e796a3f1a..4449d758ebdc62a0ceebccf1fa2d8f081ff8c123 100755 (executable)
--- 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' \