filter_shell_output revision b32f58018498ea2225959b0ba11c18f0c433deef 
1#!/bin/sh
2
3"$(dirname $0)"/filter_linenos | sed 's/Is a directory/is a directory/'
4