blob: 020644039ab1da547bce38e4b24b9bc9a5cf3fab (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
# $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("%s\n", rec);
printme = 0
}
rec = "";
rec = $0
}
/^ /{
rec = sprintf("%s\n%s", rec, $0);
}
/fileid/{
for (i = 0; i <= nfiles; i++)
if ($2 == files[i])
printme = 1
}
END {
if (printme == 1)
printf("%s\n", rec);
}
|
