Revision 1461
Added by Aaron Marcuse-Kubitza over 12 years ago
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
Added filter_errors to filters `map` error messages