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