| # This filter requires one command line option of form -vN=n | |
| # where n must be a decimal number. | |
| # | |
| # Repeat each input line containing $$ n times, replacing $$ with 0...n-1. | |
| # Replace each $# with n, and each $* with a single $. | |
| BEGIN { | |
| n = N + 0 | |
| } | |
| { | |
| if (/\$\$/) { rep = n } else { rep = 1 } | |
| for (i = 0; i < rep; ++i) { | |
| tmp = $0 | |
| gsub(/\$\$/, i, tmp) | |
| gsub(/\$\#/, n, tmp) | |
| gsub(/\$\*/, "$", tmp) | |
| print tmp | |
| } | |
| } |