1 #! /bin/sh 2 3 ./filter_stderr "$@" | \ 4 sed "s/: get ([^)]*)/: get (...)/" | 5 sed "s/: main ([^)]*)/: main (...)/" 6 7