fileid.awk
上传用户:tsgydb
上传日期:2007-04-14
资源大小:10674k
文件大小:1k
- # $Id: fileid.awk,v 10.4 2000/07/17 22:07:17 ubell Exp $
- #
- # Take a comma-separated list of file numbers and spit out all the
- # log records that affect those file numbers.
- NR == 1 {
- nfiles = 0
- while ((ndx = index(FILEID, ",")) != 0) {
- files[nfiles] = substr(FILEID, 1, ndx - 1);
- FILEID = substr(FILEID, ndx + 1, length(FILEID) - ndx);
- nfiles++
- }
- files[nfiles] = FILEID;
- }
- /^[/{
- if (printme == 1) {
- printf("%sn", rec);
- printme = 0
- }
- rec = "";
- rec = $0
- }
- /^ /{
- rec = sprintf("%sn%s", rec, $0);
- }
- /fileid/{
- for (i = 0; i <= nfiles; i++)
- if ($2 == files[i])
- printme = 1
- }
- END {
- if (printme == 1)
- printf("%sn", rec);
- }