home *** CD-ROM | disk | FTP | other *** search
- # Note: undocumented sed feature, use # for comments $Header: check.sed,v 3.9 87/09/09 12:33:08 kenj Exp $
- /^Tmp\/userlog\.[0-9]*:$/d
- /^Tmp\/masterlog\.[0-9]*:$/d
- /New Run/d
- /^user [0-9][0-9]* master stream [0-9][0-9]* pid [0-9][0-9]* pipe fd [0-9][0-9]*/d
- /^user [0-9][0-9]* clone [0-9][0-9]* stream [0-9][0-9]* pid [0-9][0-9]* pipe fd [0-9][0-9]*/d
- /^master pid [0-9]*$/d
- /^clone [0-9][0-9]* [0-9][0-9]* pid [0-9]*$/d
- /^user [0-9][0-9]* pid [0-9][0-9]* done$/d
- /^clone [0-9][0-9]* done, pid [0-9][0-9]* $/d
- s/ [0-9][0-9]*$//
- /^ *$/d
-