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 |