| 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 |