| 16 |
file=$1 ; output=$2 ; |
file=$1 ; output=$2 ; |
| 17 |
echo ' ==> extract lines with "MON" out off file='$file ' to '$output |
echo ' ==> extract lines with "MON" out off file='$file ' to '$output |
| 18 |
fi |
fi |
| 19 |
|
|
| 20 |
#---------------------------------------------------------- |
#---------------------------------------------------------- |
| 21 |
touch $output $tmpfil |
touch $output $tmpfil |
| 22 |
sed -n '/%MON/p' $1 | sed 's/(PID\.TID 000.\.000.) //g' >> $tmpfil |
sed -n '/%MON/p' $1 | sed 's/(PID\.TID 000.\.000.) //g' >> $tmpfil |