![]() |
|
|||
File indexing completed on 2024-04-06 12:15:32
0001 #!/bin/tcsh 0002 grep elem domcount.out | awk '{sum += $2} END {print sum}' 0003 set whst=`(grep -n "Start checking" dddreport.out | awk -F : '{print $1}')` 0004 echo whst is $whst 0005 set totsiz=`(wc -l dddreport.out | awk '{print $1}')` 0006 echo totsiz is $totsiz 0007 set tsdif = $totsiz - $whst 0008 tail -$tsdif dddreport.out 0009 0010 0011 0012
[ Source navigation ] | [ Diff markup ] | [ Identifier search ] | [ general search ] |
This page was automatically generated by the 2.2.1 LXR engine. The LXR team |
![]() ![]() |