123456789101112131415161718192021 |
- # 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
- }
- }
|