1 #! /bin/sh 2 3 dir=`dirname $0` 4 5 # Remove number and position of discards 6 sed "s/discard [0-9]\+ ([0-9]\+ -> [0-9]\+) translations in range/discard ... (... -> ...) translations in range/" | 7 8 $dir/filter_addresses 9
