Project

General

Profile

« Previous | Next » 

Revision 1461

Added filter_errors to filters `map` error messages

View differences:

bin/filter_errors
1
#!/bin/sh
2
# Filters `map` error messages
3

  
4
selfDir="$(dirname -- "$0")"
5

  
6
if ! test "$#" -ge 1; then
7
    echo "Usage: env [n=...] $self grep-options... <input"
8
    exit 2
9
fi
10

  
11
"$selfDir/filter_errors_before"|grep "$@"|\
12
$(test -n "$n" && echo head -"$n" || echo cat)|"$selfDir/filter_errors_after"
0 13

  

Also available in: Unified diff