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