diff options
| author | José Fonseca <jose.r.fonseca@gmail.com> | 2011-08-20 13:53:15 +0100 |
|---|---|---|
| committer | José Fonseca <jose.r.fonseca@gmail.com> | 2011-08-20 13:53:55 +0100 |
| commit | b6f8e333112350da0f2a5254942e3d69b89d0f08 (patch) | |
| tree | 6ec8b38b0ef215b73d9df976e148a2af514d7229 /scripts | |
| parent | 822d20a5ea51eb70bc9e2e937f70374c106fa06b (diff) | |
No need to strip ANSI escapes.
Just disable them.
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/tracediff.sh | 4 |
1 files changed, 1 insertions, 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' \ |