Quelle  unroll.awk   Sprache: unbekannt

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