Advertisement
Guest User

Untitled

a guest
Oct 28th, 2016
64
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.21 KB | None | 0 0
  1. BEGIN {
  2. output_filename="";
  3. }
  4. match($0, /^[A-Za-z0-9_]+ - [A-Za-z0-9_]+$/) {
  5. output_filename= ($0 ".txt");
  6. print ("Starting dump of " $0);
  7. }
  8. {
  9. if (output_filename != "") {
  10. print $0 > output_filename;
  11. }
  12. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement