Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- BEGIN {
- output_filename="";
- }
- match($0, /^[A-Za-z0-9_]+ - [A-Za-z0-9_]+$/) {
- output_filename= ($0 ".txt");
- print ("Starting dump of " $0);
- }
- {
- if (output_filename != "") {
- print $0 > output_filename;
- }
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement