set -e
-DUMP=${DUMP:-`dirname "$0"`/dump}
+TRACEDUMP=${TRACEDUMP:-`dirname "$0"`/../tracedump}
-$DUMP
+$TRACEDUMP
stripdump () {
- # http://www.theeggeadventure.com/wikimedia/index.php/Linux_Tips#Use_sed_to_remove_ANSI_colors
- $DUMP "$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' \
stripdump "$1" "$FIFO1" &
stripdump "$2" "$FIFO2" &
-sdiff --width=`tput cols` --speed-large-files "$FIFO1" "$FIFO2" | less -R
+sdiff \
+ --width=`tput cols` \
+ --speed-large-files \
+ "$FIFO1" "$FIFO2" \
+| less -R
rm -rf "$FIFODIR"